Post #2334009
2026-05-09 04:19 UTC
I generally subscribe to a loose version of Penelope Maddy’s notion of mathematical naturalism on philosophical questions in mathematics. If someone wants to debate whether 0 is a natural number or flavours of finitism, but they don’t have any connection with mathematical practices (new or old), then it has no cash value, and I have no interest in discussing it
Replies (1)
-
@flippac@types.pl 2026-05-09 04:28
@boarders@mathstodon.xyz hell, I'll even grant that either choice is more natural in different contexts: 0 isn't natural when you're constructing the primes to play with, but if you're a Peano fan in a higher-order setting it can't help but be the default