Computability : Turing, Gödel, Church, and beyond /

Afficher d'autres versions (2)

"In the 1930s a series of seminal works published by Alan Turing, Kurt Gödel, 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 i...

Description complète

Détails bibliographiques
Cote:Libro Electrónico
Autres auteurs: Copeland, B. Jack, 1950- (Éditeur intellectuel), Posy, Carl J. (Éditeur intellectuel), Shagrir, Oron, 1961- (Éditeur intellectuel)
Format: Électronique eBook
Langue:Inglés
Publié: Cambridge, Massachusetts : The MIT Press, [2013]
Sujets:
Computational complexity.
Mathematics > Philosophy.
Complexité de calcul (Informatique)
Mathématiques > Philosophie.
COMPUTERS > Machine Theory.
Computational complexity
Mathematics > Philosophy
COMPUTER SCIENCE/General
MATHEMATICS & STATISTICS/General
PHILOSOPHY/General
Accès en ligne:Texto completo

Internet

Texto completo

Items no disponibles

Informations d'exemplaires de

Documents similaires