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 extra worry began it—on the
Blue blue mountain—she never set foot
And then and there. Meanwhile the host
Mourned her quiet tenure. They all stayed chatting.
No one did much about eating.”
—John Ashbery (b. 1927)
“The theory of rights enables us to rise and overthrow obstacles, but not to found a strong and lasting accord between all the elements which compose the nation.”
—Giuseppe Mazzini (1805–1872)
“Simplicity of life, even the barest, is not a misery, but the very foundation of refinement; a sanded floor and whitewashed walls and the green trees, and flowery meads, and living waters outside; or a grimy palace amid the same with a regiment of housemaids always working to smear the dirt together so that it may be unnoticed; which, think you, is the most refined, the most fit for a gentleman of those two dwellings?”
—William Morris (1834–1896)
“... though mathematics may teach a man how to build a bridge, it is what the Scotch Universities call the humanities, that teach him to be civil and sweet-tempered.”
—Amelia E. Barr (1831–1919)