Alan Turing's systems of logic : the Princeton thesis /

Presented here in its original form, this fascinating thesis is one of the key documents in the history of mathematics and computer science.

Détails bibliographiques
Cote:Libro Electrónico
Auteur principal: Turing, Alan, 1912-1954 (Auteur)
Autres auteurs: Appel, Andrew W., 1960- (Éditeur intellectuel)
Format: Électronique eBook
Langue:Inglés
Publié: Princeton, New Jersey : Princeton University Press, 2012.
Sujets:
Logic, Symbolic and mathematical.
Logique symbolique et mathématique.
COMPUTERS > Computer Science.
Logic, Symbolic and mathematical
Accès en ligne:Texto completo
Table des matières:
  • The birth of computer science at Princeton in the 1930s / Andrew W. Appel
  • Turing's thesis / Solomon Feferman
  • Notes on the manuscript
  • Systems of logic based on ordinals / Alan Turing.

Documents similaires