Remix.run Logo
Sniffnoy a day ago

> But choosing foundation has real implications on the mathematics. You can have a foundation where every total function on the real numbers is continuous. Or one where Banach–Tarski is just false.

I mean, mathematicians do care about the part of the foundations that affect what they do! Classical vs constructive matters, yes. But material vs structural is not something most mathematicians think about. (They don't think about classical vs constructive either, but that's because they don't really know about constructive and it's not what they're trying to do, rather than because it's irrelevant to them like material vs structural.)