Computability Turing, Gödel, Church, and beyond

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 the culmination of intensive investigations into the...

Ausführliche Beschreibung

Bibliographische Detailangaben

Weitere Verfasser:	Copeland, Brian Jack (HerausgeberIn), Posy, Carl J. (HerausgeberIn), Shagrir, Oron (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cambridge, Massachusetts, London, England The MIT Press 2015
Ausgabe:	First MIT Press paperback edition
Schlagworte:	Berechnungskomplexität > Turing, Alan > Gödel, Kurt > Church, Alonzo > Informatik > Philosophie
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!