Comment Comment by rramadass Reminds me of the following papers (from 1979!) by Ernst Snapper;1) What is Mathematics? - https://sci-hub.reatk.com/10.2307/23205822) The Three Crises in Mathematics: Logicism, Intuitionism and Formalism - https://sci-hub.reatk.com/10.2307/2689412AI is the fourth crisis in Mathematics!Formalism has been so successful that the General Public thinks that is all there is to Mathematics. And now AI has made this trivial.But hopefully, Mathematicians are looking at more foundational and philosophical underpinnings. parent rramadass 16 days ago
1) What is Mathematics? - https://sci-hub.reatk.com/10.2307/2320582
2) The Three Crises in Mathematics: Logicism, Intuitionism and Formalism - https://sci-hub.reatk.com/10.2307/2689412
AI is the fourth crisis in Mathematics!
Formalism has been so successful that the General Public thinks that is all there is to Mathematics. And now AI has made this trivial.
But hopefully, Mathematicians are looking at more foundational and philosophical underpinnings.