In contrast to what these philosophical pieces tend to convey, the main crisis in mathematics is a labour one.
Mathematitians exchanged proofs for employment. That was the currency. Now they cannot use that currency anymore, so the question is how does someone know if they should hire an unknow person or not?
Philosophicaly who cares if you like more theory building or theorem proving? You dont need to convince anyone. The only solution is to be curious and follow your interests and naturally humanity will redefine what the new mathematics feels like.
You cannot convince anyone about it, its not something rational.
Laymen understand very little about the how the world works at the most fundamental level even with all the resources in the world.
For example there’s enough information available to know what you’re describing but the people with the IQ, time, access, ability - basically asymptote to zero for anything more complicated than cleaning a house.
youoy · · focus · HN ↗
Mathematitians exchanged proofs for employment. That was the currency. Now they cannot use that currency anymore, so the question is how does someone know if they should hire an unknow person or not?
Philosophicaly who cares if you like more theory building or theorem proving? You dont need to convince anyone. The only solution is to be curious and follow your interests and naturally humanity will redefine what the new mathematics feels like.
You cannot convince anyone about it, its not something rational.
wg0 · · focus · HN ↗
Wouldn't that still require mathematians?
Genuine question.
AndrewKemendo · · focus · HN ↗
For example there’s enough information available to know what you’re describing but the people with the IQ, time, access, ability - basically asymptote to zero for anything more complicated than cleaning a house.