Post #1767464
2026-04-20 23:37 UTC
@MartinEscardo I quite like your vantage point, for many similar reasons, though constructive set theory is my happy place.
Replies (1)
-
@rg9119@mathstodon.xyz 2026-04-20 23:39
@MartinEscardo also I maintain (and tell students) that learning to operate constructively/neutrally will make you better at operating classically when you want.