2026-04-10 21:11 UTC
When I form a School of Mathematical Philosophy, anyone who mentions Platonism or Formalism will be made to kneel on dried peas.
Replies (3)
-
@boarders@mathstodon.xyz 2026-04-10 21:17
@andrejbauer what if is Lambek pointing out that Platonism, Formalism and Intuitionism can finally all be reconciled in the free topos?
-
@wtgowers@mathstodon.xyz 2026-04-11 12:22
@andrejbauer Yes but those peas won't have any intrinsic meaning -- they'll just be tokens in the game you are playing.
-
@dgb37@mathstodon.xyz 2026-04-11 13:55
@andrejbauer Am I allowed to believe that ideal Mathematical objects exist but in such a way that Mathematics is not the study thereof, but the study of our mental conceptions thereof?