Skip to main content Accessibility help
  • Print publication year: 2020
  • Online publication date: December 2020

3 - Computability: The Primary Example


Computability is discussed here at length, being the prime example of what Gödel calls formalism independence in his 1946 Princeton Bicentennial Lecture. The emergence of the concept of human effective calculability and of its formal counterpart---simply computability---is traced in the work of Gödel, Chucrh, Hilbert and Bernays, and finally Turing. The reception of Turing’s work on the part of Church and Kleene as well as on the part of Gödel is chronicled.