Subscribe to:
Post Comments (Atom)
-
Some people do need to build up gradually through concrete examples towards abstract ideas. But not everyone is like that. For some people, ...
-
Any formal system for encoding mathematics, be it ZFC, ETCS, or type theory, must by its nature be careful about many things that mathematic...
No comments:
Post a Comment