Computability and analysis: the legacy of Alan Turing

Abstract

We discuss the legacy of Alan Turing and his impact on computability and analysis.

49 pages

References in corpus (2)

• The Bolzano-Weierstrass Theorem is the Jump of Weak König's Lemma
• Uncomputably noisy ergodic limits

Cited by in corpus (3)

• Limitations of Deep Learning for Inverse Problems on Digital Hardware
• Algorithmic Computability and Approximability of Capacity-Achieving Input Distributions
• Computability and Analysis, a Historical Approach