The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions

The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions

Uloženo v:
Podrobná bibliografie
Hlavní autoři: Davis, Martin, 1928-2023, Gödel, Kurt, 1906-1978 (Autor), Church, Alonzo, 1903-1995 (Autor), Turing, Alan Mathison, 1912-1954 (Autor)
Médium: Livre papier
Jazyk:Anglais
Vydáno: Hewlett (N.Y.) : Raven Press C 1965.
Témata:
Fonctions récursives
Gödel, Théorème de
Turing, Machines de
Non-résolubilité (logique mathématique)
Fonctions calculables
Autres localisations: Voir dans le Sudoc

Podobné jednotky

Podobné jednotky