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

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

Show other versions (2)
Saved in:
Bibliographic Details
Other Authors: Davis, Martin, 1928-2023 (Editor)
Format: Book
Language:English
Published: Hewlett, N.Y., Raven Press [1965]
Subjects:
Recursive functions.
Gödel's theorem.
Turing machines.
Unsolvability (Mathematical logic)
Computable functions.
calcul propositionnel.
insolubilité
indécidabilité
Fonctions récursives.
Gödel, Théorème de.
Turing, Machines de.
Non-résolubilité (Logique mathématique)
Fonctions calculables.
Entscheidbarkeit
Fonctions récursives.
Gödel, Théorème de.
Non-résolubilité (logique mathématique)

Bemidji State University

Holdings details from Bemidji State University
Call Number: QA248.5 .D33

Minnesota State University, Mankato

Holdings details from Minnesota State University, Mankato
Call Number: QA248.5 .D33

Southwest Minnesota State University

Holdings details from Southwest Minnesota State University
Call Number: QA248.5 .D38

Minnesota State University Moorhead

Holdings details from Minnesota State University Moorhead
Call Number: QA248.5 .D33

St. Cloud State University

Holdings details from St. Cloud State University
Call Number: QA248.5 .D33

Similar Items