Paradoxes of Proof and Definability
For all its usefulness in resolving questions regarding infinite sets, naive set theory has some fatal flaws. In particular, it is prey to logical paradoxes such as those exposed by Russell's paradox. The discovery of these paradoxes revealed that not all sets which can be described in the language of naive set theory can actually be said to exist without creating a contradiction. The 20th century saw a resolution to these paradoxes in the development of the various axiomatizations of set theories such as ZFC and NBG in common use today. However, the gap between the very formalized and symbolic language of these theories and our typical informal use of mathematical language results in various paradoxical situations, as well as the philosophical question of exactly what it is that such formal systems actually propose to be talking about.
Read more about this topic: Paradoxes Of Set Theory
Famous quotes containing the words paradoxes of, paradoxes and/or proof:
“The paradoxes of today are the prejudices of tomorrow, since the most benighted and the most deplorable prejudices have had their moment of novelty when fashion lent them its fragile grace.”
—Marcel Proust (1871–1922)
“Though your views are in straight antagonism to theirs, assume an identity of sentiment, assume that you are saying precisely that which all think, and in the flow of wit and love roll out your paradoxes in solid column, with not the infirmity of a doubt.”
—Ralph Waldo Emerson (1803–1882)
“When children feel good about themselves, it’s like a snowball rolling downhill. They are continually able to recognize and integrate new proof of their value as they grow and mature.”
—Stephanie Martson (20th century)