Objections To Set Theory As A Foundation For Mathematics
From set theory's inception, some mathematicians have objected to it as a foundation for mathematics. The most common objection to set theory, one Kronecker voiced in set theory's earliest years, starts from the constructivist view that mathematics is loosely related to computation. If this view is granted, then the treatment of infinite sets, both in naive and in axiomatic set theory, introduces into mathematics methods and objects that are not computable even in principle. Ludwig Wittgenstein questioned the way Zermelo–Fraenkel set theory handled infinities. Wittgenstein's views about the foundations of mathematics were later criticised by Georg Kreisel and Paul Bernays, and investigated by Crispin Wright, among others.
Category theorists have proposed topos theory as an alternative to traditional axiomatic set theory. Topos theory can interpret various alternatives to that theory, such as constructivism, finite set theory, and computable set theory.
Read more about this topic: Set Theory
Famous quotes containing the words objections, set, theory, foundation and/or mathematics:
“Miss Western: Tell me, child, what objections can you have to the young gentleman?
Sophie: A very solid objection, in my opinion. I hate him.
Miss Western: Well, I have known many couples who have entirely disliked each other, lead very comfortable, genteel lives.”
—John Osborne (1929–1994)
“I have heard, in such a way as to believe it, of your recently saying that both the Army and the Government needed a Dictator. Of course it was not for this, but in spite of it, that I have given you the command. Only those generals who gain success, can set up dictators.”
—Abraham Lincoln (1809–1865)
“There is in him, hidden deep-down, a great instinctive artist, and hence the makings of an aristocrat. In his muddled way, held back by the manacles of his race and time, and his steps made uncertain by a guiding theory which too often eludes his own comprehension, he yet manages to produce works of unquestionable beauty and authority, and to interpret life in a manner that is poignant and illuminating.”
—H.L. (Henry Lewis)
“The poet needs a ground in popular tradition on which he may work, and which, again, may restrain his art within the due temperance. It holds him to the people, supplies a foundation for his edifice; and, in furnishing so much work done to his hand, leaves him at leisure, and in full strength for the audacities of his imagination.”
—Ralph Waldo Emerson (1803–1882)
“The three main medieval points of view regarding universals are designated by historians as realism, conceptualism, and nominalism. Essentially these same three doctrines reappear in twentieth-century surveys of the philosophy of mathematics under the new names logicism, intuitionism, and formalism.”
—Willard Van Orman Quine (b. 1908)