Computability: Turing, Godel, Church, and Beyond by B. Jack Copeland, Oron Shagrir, Carl J. Posy

Computability: Turing, Godel, Church, and Beyond

B. Jack Copeland, Oron Shagrir, Carl J. Posy

362 pages • first pub 2013 (editions)

nonfiction computer science mathematics philosophy informative reflective medium-paced
Powered by AI (Beta)
Loading...

Description

In the 1930s a series of seminal works published by Alan Turing, Kurt Godel, Alonzo Church, and others established the theoretical basis for computability. This work, advancing precise characterizations of effective, algorithmic computability, was...

Read more

Community Reviews

Loading...

Content Warnings

Loading...