Post #1550551
2026-04-10 21:17 UTC
@andrejbauer what if is Lambek pointing out that Platonism, Formalism and Intuitionism can finally all be reconciled in the free topos?
Replies (1)
-
@andrejbauer@mathstodon.xyz 2026-04-10 21:20
@boarders Please send me your home address. I have prepackaged several bags of dried peas, with instructions on how to execute penance.