Post #1510503
2026-04-20 20:56 UTC
A lot of people embrace constructive mathematics for purely philosophical reasons, and I am fine with that.
In my particular case, I love it for 90% mathematical reasons, and 10% philosophical reasons.
Replies (3)
-
@MartinEscardo@mathstodon.xyz 2026-04-20 21:18
I just keep saying this to upset both classical and constructive mathematicians. 🙂
-
@apodoxus@mastodon.online 2026-04-20 21:28
@MartinEscardo My reason is unrelated: computer reasons.
-
@mra@mathstodon.xyz 2026-04-20 21:41
@MartinEscardo i was thinking about this a while ago! one of the coolest things about constructive mathematics is the way in which you come across subtle structure which doesn't show up classically because of LEM having a kind of "flattening" effect, making subtly distinct notions equivalent