Computability and analysis: the legacy of Alan Turing
Logic
2018-12-10 v2 Logic in Computer Science
History and Overview
Abstract
We discuss the legacy of Alan Turing and his impact on computability and analysis.
Cite
@article{arxiv.1206.3431,
title = {Computability and analysis: the legacy of Alan Turing},
author = {Jeremy Avigad and Vasco Brattka},
journal= {arXiv preprint arXiv:1206.3431},
year = {2018}
}
Comments
49 pages