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

Computability: Turing, Godel, Church, and Beyond

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

362 pages first pub 2013 (view 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...