search for books and compare prices
Tables of Contents for Undecidable
Chapter/Section Title
Page #
Page Count
KURT GODEL
On Formally Undecidable Propositions of the Principia Mathematica and Related Systems. I
4
35
On Undecidable Propositions of Formal Mathematical Systems
39
36
On Intuitionistic Arithmetic and Number Theory
75
7
On the Length of Proofs
82
2
Remarks Before the Princeton Bicentennial Conference on Problems in Mathematics
84
4
ALONZO CHURCH
An Unsolvable Problem of Elementary Number Theory
88
20
A Note on the Entscheidungsproblem
108
7
ALAN M. TURING
On Computable Numbers, with an Application to the Entscheidungsproblem
115
39
Systems of Logic Based on Ordinals
154
69
J. B. ROSSER
An Informal Exposition of Proofs of Godel's Theorem and Church's Theorem
223
7
Extensions of Some Theorems of Godel and Church
230
6
STEPHEN C. KLEENE
General Recursive Functions of Natural Numbers
236
18
Recursive Predicates and Quantifiers
254
34
EMIL POST
Finate Combinatory Processes. Formulation I
288
4
Recursive Unsolvability of a Problem of Thue
292
12
Recursively Enumerable Sets of Positive Integers and Their Decision Problems
304
34
Absolutely Unsolvable Problems and Relatively Undecidable Propositions- Account of an Anticipation
338
96
Index
434