4,781 followers
Incomputable Problems - Borut Robič https://t.co/6xKsGtVw9M
The Foundations of Computability Theory
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Introduction
-
Altmetric BadgeChapter 2 The Foundational Crisis of Mathematics
-
Altmetric BadgeChapter 3 Formalism
-
Altmetric BadgeChapter 4 Hilbert’s Attempt at Recovery
-
Altmetric BadgeChapter 5 The Quest for a Formalization
-
Altmetric BadgeChapter 6 The Turing Machine
-
Altmetric BadgeChapter 7 The First Basic Results
-
Altmetric BadgeChapter 8 Incomputable Problems
-
Altmetric BadgeChapter 9 Methods of Proving Incomputability
-
Altmetric BadgeChapter 10 Computation with External Help
-
Altmetric BadgeChapter 11 Degrees of Unsolvability
-
Altmetric BadgeChapter 12 The Turing Hierarchy of Unsolvability
-
Altmetric BadgeChapter 13 The Class $$ \mathcal{D} $$ of Degrees of Unsolvability
-
Altmetric BadgeChapter 14 C.E. Degrees and the Priority Method
-
Altmetric BadgeChapter 15 The Arithmetical Hierarchy
-
Altmetric BadgeChapter 16 Further Reading