SU\G(𝔸)/K·U

Computability and analysis: the legacy of Alan Turing

Jeremy Avigad, Vasco Brattka

Type: Book-Chapter

Publication Date: 2014-05-01

Citations: 89

DOI: https://doi.org/10.1017/cbo9781107338579.002

Abstract

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

Locations

  • arXiv (Cornell University) - View - PDF
  • OPAL (Open@LaTrobe) (La Trobe University) - View - PDF
  • Cambridge University Press eBooks - View
  • DataCite API - View

Similar Works

Action Title Year Authors
+ Three books on computability, with a special focus on Turing's legacy 2018 Christopher P. Porter
+ Turing Machines and Understanding Computational Complexity 2012 Paul Vitányi
+ Turing Machines and Understanding Computational Complexity 2012 Paul Vitányi
+ A Theory of Computability 2021 George Tourlakis
+ A note on the Turing machine theory of computation 2011 Stephen Boyce
+ Deviant encodings and Turing’s analysis of computability 2010 B. Jack Copeland
Diane Proudfoot
+ Alan Turing and the Origins of Complexity 2013 Miguel-Angel Martin-Delgado
+ Mysteries of mathematics and computation 1994 Michael Shub
+ Meaning, Reality and Algorithms: Implications of the Turing Theorem 1997 Filippo Cacace
+ Turing's legacy: developments from Turing's ideas in logic 2014 Rod Downey
+ Inside Our Computable World, and the Mathematics of Universality 2016 S. Barry Cooper
Andrew Hodges
+ PDF Chat Computability and Analysis, a Historical Approach 2016 Vasco Brattka
+ PDF Chat Lowness, Randomness, and Computable Analysis 2016 André Nies
+ On Smale’s Work in the Theory of Computation: From Polynomial Zeros to Continuous Complexity 1993 J. F. Traub
+ Turing and the Serendipitous Discovery of the Modern Computer 2013 Áurea Anguera de Sojo
Juan Ares
Juan A. Lara
David Lizcano
María A. Martínez
Juan Pazos
+ PDF Chat The Incomputable Alan Turing 2004 S. Barry Cooper
+ Copeland and Proudfoot on computability 2011 Michael Rescorla
+ The Incomputable Alan Turing 2012 S. Barry Cooper
+ The Incomputable Alan Turing 2012 S. Barry Cooper
+ Foundations of Mathematics 2002 Gregory J. Chaitin

Works That Cite This (31)

Action Title Year Authors
+ Computable analysis on the space of marked groups 2021 Emmanuel Rauzy
+ On the close interaction between algorithmic randomness and constructive/computable measure theory 2018 Jason Rute
+ On the Algorithmic Solvability of Spectral Factorization and Applications 2020 Holger Boche
Volker Pohl
+ Computing Hilbert Transform and Spectral Factorization for Signal Spaces of Smooth Functions 2020 Holger Boche
Volker Pohl
+ Investigations on the approximability and computability of the Hilbert transform with applications 2018 Holger Boche
Volker Pohl
+ On the Algorithmic Solvability of the Spectral Factorization and the Calculation of the Wiener Filter on Turing Machines 2019 Holger Boche
Volker Pohl
+ On approximations for functions in the space of uniformly convergent Fourier series 2019 Holger Boche
Volker Pohl
+ PDF Chat Computability and Analysis, a Historical Approach 2016 Vasco Brattka
+ On the Fourier Representation of Computable Continuous Signals 2019 Holger Boche
Ullrich J. Mönich
+ Effective Approximation of Bandlimited Signals and Their Samples 2020 Holger Boche
Ullrich J. Mönich

Works Cited by This (126)

Action Title Year Authors
+ The realizability approach to computable analysis and topology 2000 Andrej Bauer
Dana Scott
+ Der Satz vom Maximum in der Rekursiven Analysis 1990 Bonny Specker
+ Gödel’s Functional (“Dialectica”) Interpretation 1998 Jeremy Avigad
Solomon Feferman
+ On the Interpretation of Non-Finitist Proofs: Part II. Interpretation of Number Theory. Applications 1952 G. Kreisel
+ PDF Chat ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES 1958 Von Kurt Gödel
+ PDF Chat Computability of Julia Sets 2008 Mark Braverman
Michael Yampolsky
+ Kronecker's Views on the Foundations of Mathematics 1989 Harold M. Edwards
+ Recursive Number Theory - A Development of Recursive Arithmetic in a Logic-Free Equation Calculus 1957 R. L. Goodstein
+ Grundgesetze der Arithmetik 1893 Gottlob Frege
+ Subsystems of Second Order Arithmetic 1999 Stephen G. Simpson