22 books
—
2 voters
Set Theory
from sets to types to categories to sets: category theory and the foundations of mathematics
“
No one shall expel us from the paradise which Cantor has created for us.
{Expressing the importance of Georg Cantor's set theory in the development of mathematics.}
...more
”
―
―
“
To the average mathematician who merely wants to know his work is securely based, the most appealing choice is to avoid difficulties by means of Hilbert's program. Here one regards mathematics as a formal game and one is only concerned with the question of consistency ... . The Realist position is probably the one which most mathematicians would prefer to take. It is not until he becomes aware of some of the difficulties in set theory that he would even begin to question it. If these difficultie
...more
”
―
―
































