Top Network Posts
- 97Are all mathematicians human calculators?
- 17How do you describe your mathematical research in layman's terms?
- 8A 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?
- 6Why can any type be realized?
- View more network posts →
Keeping a low profile.
This user hasn't posted... yet.