On formally undecidable propositions of Principia Mathematica and related systems by Kurt Gödel Time and Causation in Gödel's Universe by John L. Bell
Carnap, Popper, Gödel: Can Unity Be Refuted by Incompleteness by Matyas Brendel
Gödel's Theorem by Peter J. Cameron
"Logic will never be the same again" - Kurt Gödel Centenary by Gabriel Ciobanu
Gödel, Russell, Codd: A Recursive Golden Crowd by C. J. Date
Kurt Gödel-Separating Truth from Proof in Mathematics by Keith Devlin
Gödel, Nagel, minds and machines by Solomon Feferman
The nature and significance of Gödel's incompleteness theorems by Solomon Feferman
Beautifying Gödel by Eric C.R. Hehner
Kurt Gödel - A Biographical Memoir by Stephen Kleene
Gödel and Computability by Luis Moniz Pereira
Gödel's incompleteness theorem by Bengt Ringnér
Gödel on Turing on Computability by Oron Shagrir
Gödel on computability by Wilfried Sieg
Reflections on Gödel's Ontological Argument by Christopher G. Small
Gödel's Incompleteness Theorems and Artificial Life by John Sullins
|