Sunday, 28 March 2021
Subscribe to:
Posts (Atom)
two nice math-adjacent stories
recommended reading and/or watching: " Ogi formula ", from NISIOISIN's " Owarimonogatari " (part of his larger ...
-
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...
-
Student: Sir, what is a mathematical proof? Ideal Mathematician: You don't know that? What year are you in? Student: Third-year graduate...