A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
A New Foundational Crisis in Mathematics, Is It Really Happening?
[chapter]
2019
Reflections on the Foundations of Mathematics
Preserved Fulltext
The article reconsiders the position of the foundations of mathematics after the discovery of HoTT. Discussion that this discovery has generated in the community of mathematicians, philosophers and computer scientists might indicate a new crisis in the foundation of mathematics. By examining the mathematical facts behind HoTT and their relation with the existing foundations, we conclude that the present crisis is not one. We reiterate a pluralist vision of the foundations of mathematics. The
doi:10.1007/978-3-030-15655-8_11
fatcat:formjvpydvhele4z7fy3mn73y4