Logical foundations: Personal perspective
Yuri Gurevich
TL;DR
This paper reviews the history and discusses the future prospects of logical foundations, highlighting their significance and ongoing developments in the field.
Contribution
It provides a personal perspective on the historical evolution and future challenges of logical foundations in mathematics and computer science.
Findings
Historical overview of logical foundations
Discussion of future challenges and directions
Reflection on the significance of logic in science
Abstract
This is an attempt to illustrate the glorious history of logical foundations and to discuss the uncertain future.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsQuantum Mechanics and Applications · Philosophy and History of Science · Logic, Reasoning, and Knowledge