Gödel’s Incompleteness Theorems

Cached

Download Links

by J. Van Oosten

Active Bibliography

Computability Theory – Jaap Van Oosten
Basic Computability Theory – Jaap Van Oosten
Reasoning and Decision Making -- a survey of . . . – Eyal Amir - 2007
Universality, Turing Incompleteness and Observers – Klaus Sutner
5 "Clarifying the Nature of the Infinite": the development of metamathematics and proof theory – Jeremy Avigad, Erich H. Reck - 2001
On Some Open Problems in Reflective Inductive Inference – Sanjay Jain A
17 Towards Self-verification of HOL Light – John Harrison - 2006
Built-in Value Type specifications in LCM 3.1 – J. Scheerder, P. A. Spruit, R. J. Wieringa - 1995
Intuitionism – Jaap van Oosten - 1995
Sophisticated Knowledge Representation and Reasoning Requires Philosophy – Selmer Bringsjord, Micah Clark, Joshua Taylor - 2009
Gödel’s incompleteness theorems, free will and mathematical thought – Solomon Feferman, In Memory Of Torkel Franzén
unknown title – unknown authors
The Universal Algebra of First Order Logic – Noel Vaillant
On Some Subsystems of Second-Order Arithmetic – 1 Induction, more or less – Peter Smith - 2007
Separating Complexity Classes using Autoreducibility – Harry Buhrman Cwi, Harry Buhrman, Lance Fortnow, Dieter Van Melkebeek, Leen Torenvliet - 1998
2 How Powerful is Unconditional Transfer? - When UT meets AC. – Henning Fernau, Henning Fernau, Frank Stephan, Frank Stephan - 1997
4 Asymptotic behaviors of type-2 algorithms and induced baire topologies – Chung-chih Li - 2004
12 Observations on Grammar and Language Families – Henning Fernau - 1994
6 The Arithmetical Complexity of Dimension and Randomness – John M. Hitchcock, Jack H. Lutz, Sebastiaan A. Terwijn - 2003