- Godel's Proof.Ernest Nagel & James Roy Newman - 1958 - New York, NY, USA: Routledge. Edited by James R. Newman.details
|
|
Impossibility: the limits of science and the science of limits.John D. Barrow - 1998 - New York: Oxford University Press.details
|
|
A Logical Journey: From Gödel to Philosophy.Hao Wang - 1996 - Bradford.details
|
|
Algorithmic information theory.Michiel van Lambalgen - 1989 - Journal of Symbolic Logic 54 (4):1389-1400.details
|
|
On Computable Numbers, with an Application to the Entscheidungsproblem.Alan Turing - 1936 - Proceedings of the London Mathematical Society 42 (1):230-265.details
|
|
Nicht Konstruktiv Beweisbare Sätze der Analysis.Ernst Specker - 1950 - Journal of Symbolic Logic 15 (1):67-68.details
|
|
Nicht konstruktiv beweisbare sätze der analysis.Ernst Specker - 1949 - Journal of Symbolic Logic 14 (3):145-158.details
|
|
Recursion Theory and Dedekind Cuts.Robert I. Soare - 1971 - Journal of Symbolic Logic 36 (1):148-148.details
|
|
Infinity and the mind: the science and philosophy of the infinite.Rudy von Bitter Rucker - 1982 - Princeton, N.J.: Princeton University Press.details
|
|
On interpreting Chaitin's incompleteness theorem.Panu Raatikainen - 1998 - Journal of Philosophical Logic 27 (6):569-586.details
|
|
Gödel's Proof.Ernest Nagel & James R. Newman - 1958 - Les Etudes Philosophiques 15 (2):294-295.details
|
|
The work of Kurt gödel.Stephen C. Kleene - 1976 - Journal of Symbolic Logic 41 (4):761-778.details
|
|
Russell's Mathematical Logic.Kurt Gödel - 1946 - In Paul Arthur Schilpp (ed.), The Philosophy of Bertrand Russell, 2nd edition. Evanston, IL: The Library of Living Philosophers, Inc.. pp. 123-154.details
|
|
The Unknowable.Gregory J. Chaitin - 2002 - Studia Logica 70 (2):299-302.details
|
|
Computing the uncomputable.John L. Casti - 1997 - Complexity 2 (3):7-12.details
|
|
Reflections on quantum computing.Michael J. Dinneen, Karl Svozil & Cristian S. Calude - 2000 - Complexity 6 (1):35-37.details
|
|
Mathematical jujitsu: Some informal thoughts about G�del and physics.John D. Barrow - 2000 - Complexity 5 (5):28-34.details
|
|
Information, Randomness & Incompleteness: Papers on Algorithmic Information Theory.Gregory J. Chaitin - 1987 - World Scientific: Singapore.details
|
|
Cornerstones of Undecidability.Grzegorz Rozenberg & Arto Salomaa - 1994details
|
|
Randomness & Undecidability in Physics.Karl Svozil - 1993 - World Scientific.details
|
|
Logical Dilemmas: The Life and Work of Kurt Gödel.John W. Dawson - 1999 - Studia Logica 63 (1):147-150.details
|
|
Non-Turing Computations via Malament-Hogarth space-times.Gábor Etesi & István Németi - 2002 - International Journal of Theoretical Physics 41:341--70.details
|
|
A Highly Random Number.Veronica Becher & Sergio Daicz - unknowndetails
|
|
Randomness everywhere.C. S. Calude & G. J. Chaitin - 1999 - Nature 400:319-320.details
|
|
[Omnibus Review].Arto Salomaa - 1966 - Journal of Symbolic Logic 31 (3):501-502.details
|
|
Kurt Gödel: Conviction and Caution.Solomon Feferman - 1984 - Philosophia Naturalis 21 (2/4):546-562.details
|
|
Selections from “Remarks on the Foundations of Mathematics”.L. Wittgenstein - 1964 - In P. Benacerraf H. Putnam (ed.), Philosophy of Mathematics. Prentice-Hall. pp. 421--480.details
|
|
Simulating physics with computers.R. P. Feynman - 1982 - International Journal of Theoretical Physics 21 (6):467-488.details
|
|