Abstract
The work of Turing and Church has had a profound inuence on the foundations and development of computer science. Church’s work on the lambda calculus not only provided one of the central mathematical accounts of computation, but also paved the way for the development of the functional paradigm, and the semantics of programming languages. Turing is regarded as providing the definitive account of computation, inspiring the design of early computers, and giving birth to artificial intelligence.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer-Verlag GmbH Germany, part of Springer Nature
About this chapter
Cite this chapter
Turner, R. (2018). Computability. In: Computational Artifacts. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-55565-1_22
Download citation
DOI: https://doi.org/10.1007/978-3-662-55565-1_22
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-55564-4
Online ISBN: 978-3-662-55565-1
eBook Packages: Computer ScienceComputer Science (R0)