Any other finitists/constructivists here on mathstodon?

@j I'm not but I sometimes find myself defending finitism as a serious philosophy of mathematics to people who seem to think it is just crackpottery.

A Mastodon instance for maths people. The kind of people who make $$\pi z^2 \times a$$ jokes. Use $$ and $$ for inline LaTeX, and $ and $ for display mode.