Re:Mathematicians don't care about foundations
by black_knight on Saturday December 20, 2025 @05:52PM
(#46340423)
At which point we would have an interesting debate! I could tell them all about how this foundation will give them a more nuanced view on continuity!
[ Parent
| on HN ]
Re:Mathematicians don't care about foundations
by johngossman on Saturday December 20, 2025 @06:09PM
(#46340558)
I suggest you go meet some PhD mathematicians and have that discussion.
Re:Mathematicians don't care about foundations
by black_knight on Saturday December 20, 2025 @06:25PM
(#46340666)
Having a PhD in mathematics myself, I have been surrounded by such and had this discussion a few times. Some even like the ideas suggested!
I would say the most common counter argument is cultural: Classical mathematics is the norm in the field, hence one must use it to participate in research in this field.
But that seems to me a rather intellectually unsatisfying argument, if one cares about the meaning of the work.