Top Network Posts
- 104Are all mathematicians human calculators?
- 26What is exactly the difference between a definition and an axiom?
- 17How do you describe your mathematical research in layman's terms?
- 8Definitions of ordinal besides von Neumann & Frege-Russel?
- 8A bestiary about adjunctions
- 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 →