Advertisement

Computability

  • Raymond Turner
Chapter

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag GmbH Germany, part of Springer Nature 2018

Authors and Affiliations

  • Raymond Turner
    • 1
  1. 1.School of Computer Science & Electronic EngineeringUniversity of EssexColchesterUK

Personalised recommendations