Synopsis
Introduction.- The Foundational Crisis of Mathematics.- Formalism.- Hilbert's Attempt at Recovery.- The Quest for a Formalization.- The Turing Machine.- The First Basic Results.- Incomputable Problems.- Methods of Proving the Incomputability.- Computation with External Help.- Degrees of Unsolvability.- The Turing Hierarchy of Unsolvability.- The Class D of Degrees of Unsolvability.- C.E. Degrees and the Priority Method.- The Arithmetical Hierarchy.- Further Reading.- App. A, Mathematical Background.- References.- Index.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
