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)
“The moral earth, too, is round! The moral earth, too, has its antipodes! The antipodes, too, have their right to exist! There is still another world to be discovered—and more than one! Set sail, you philosophers!”
—Friedrich Nietzsche (1844–1900)
“The struggle for existence holds as much in the intellectual as in the physical world. A theory is a species of thinking, and its right to exist is coextensive with its power of resisting extinction by its rivals.”
—Thomas Henry Huxley (1825–95)
“The most excellent and divine counsel, the best and most profitable advertisement of all others, but the least practised, is to study and learn how to know ourselves. This is the foundation of wisdom and the highway to whatever is good.... God, Nature, the wise, the world, preach man, exhort him both by word and deed to the study of himself.”
—Pierre Charron (1541–1603)
“Mathematics alone make us feel the limits of our intelligence. For we can always suppose in the case of an experiment that it is inexplicable because we don’t happen to have all the data. In mathematics we have all the data ... and yet we don’t understand. We always come back to the contemplation of our human wretchedness. What force is in relation to our will, the impenetrable opacity of mathematics is in relation to our intelligence.”
—Simone Weil (1909–1943)