Logic in Mathematics and Computer Science
Richard Zach

TL;DR
This paper explores the historical development and modern applications of logic in mathematics and computer science, highlighting formal systems, proof theory, and computational methods that underpin foundational and practical advancements.
Contribution
It provides a comprehensive overview of the evolution of logical formalism and its integration into computer science, emphasizing recent developments in proof systems and their applications.
Findings
Development of formal logical systems for mathematics
Advances in proof theory and model theory methods
Application of logic in automated reasoning and verification
Abstract
Logic has pride of place in mathematics and its 20th century offshoot, computer science. Modern symbolic logic was developed, in part, as a way to provide a formal framework for mathematics: Frege, Peano, Whitehead and Russell, as well as Hilbert developed systems of logic to formalize mathematics. These systems were meant to serve either as themselves foundational, or at least as formal analogs of mathematical reasoning amenable to mathematical study, e.g., in Hilbert's consistency program. Similar efforts continue, but have been expanded by the development of sophisticated methods to study the properties of such systems using proof and model theory. In parallel with this evolution of logical formalisms as tools for articulating mathematical theories (broadly speaking), much progress has been made in the quest for a mechanization of logical inference and the investigation of its…
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
TopicsLogic, Reasoning, and Knowledge · Computability, Logic, AI Algorithms · Advanced Algebra and Logic
