Abstract
Hilbert’s Foundations of Geometry in 1899 made Poincaré think of “reasoning machines” before Hilbert did. Poincaré found the idea “deadly for teaching, and desiccating for researchers” but indispensable for telling when intuitions have been fully expressed. A machine will use stated axioms without the vague intuitions Poincaré considered vital to learning and research. Years of famously intuitive creativity, plus boundless faith in technology, as well as the impact of Hilbert, led Poincaré to see that machines could aid human intuition but not replace it, precisely because machines have no intuition. This relates to recent machine achievements in Lean and HoTT, and to the issues in Akshay Venkatesh’s essay.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callSimilar Papers
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
