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

Show other 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...

Full description

Bibliographic Details
Call Number:Libro Electrónico
Other Authors: Copeland, B. Jack, 1950- (Editor), Posy, Carl J. (Editor), Shagrir, Oron, 1961- (Editor)
Format: Electronic eBook
Language:Inglés
Published: Cambridge, Massachusetts : The MIT Press, [2013]
Subjects:
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
Online Access:Texto completo

Internet

Texto completo

Items no disponibles

Holdings details from

Similar Items