Mathematical Logic in Computer Science
Assaf Kfoury
TL;DR
This paper reviews the historical development of the interplay between mathematical logic and computer science from the 1950s to present, highlighting key milestones and influences.
Contribution
It provides a comprehensive historical overview of how mathematical logic has shaped and been shaped by developments in computer science.
Findings
Identifies major milestones in logic and computer science
Highlights mutual influences between the fields
Summarizes historical evolution since the 1950s
Abstract
The article retraces major events and milestones in the mutual influences between mathematical logic and computer science since the 1950s.
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
TopicsComputability, Logic, AI Algorithms · Logic, programming, and type systems · Logic, Reasoning, and Knowledge