Computability and analysis: the legacy of Alan Turing
Jeremy Avigad, Vasco Brattka

TL;DR
This paper explores Alan Turing's foundational contributions to computability and analysis, highlighting his enduring influence on theoretical computer science and mathematical logic.
Contribution
It provides a comprehensive overview of Turing's legacy and its significance in modern computability and analysis.
Findings
Turing's work established the limits of computability.
His concepts underpin modern theoretical computer science.
The paper emphasizes Turing's lasting impact on mathematical analysis.
Abstract
We discuss the legacy of Alan Turing and his impact on computability and analysis.
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.
