Top Network Posts
- 114Are all mathematicians human calculators?
- 28What is exactly the difference between a definition and an axiom?
- 18How do you describe your mathematical research in layman's terms?
- 9A bestiary about adjunctions
- 8Definitions of ordinal besides von Neumann & Frege-Russel?
- 7For two theories $T,T'$, what does $T\vdash Con(T')$ really tell us about the models of $T$?
- 7Is there any point in a logician studying $\infty$-categories?
- View more network posts →