On the philosophical relevance of Gödel's incompleteness theorems

Revue Internationale de Philosophie

Volumn 59, Issue 234, 2005, Pages 513-534

  Raatikainen, Panu ^a  

^a UNIVERSITY OF HELSINKI   (Finland)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 60950296104     PISSN: 00488143     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Review

References (62)

1. BENACERRAF, Paul (1967) "God, the Devil, and Gödel", The Monist 51, 9-32.
2. BOOLOS, George (1990) "On 'seeing' the truth of Gödel sentence", Behavioral and Brain Sciences 13, 655-656.
3. CHAITIN, Gregory J. (1974) "Information-theoretic limitations of formal systems", Journal of the Association for Computing Machinery 21, 403-24.
4. CHAITIN, G.J. (1975) "Randomness and mathematical proof", Scientific American 232, 47-52.
5. CHAITIN, Gregory J. (1987a) "Incompleteness theorem for random reals", Advances in Applied Mathematics 8, 119-146.
6. CHAITIN, G.J. (1987b), Algorithmic Information Theory, Cambridge University Press, Cambridge, 1987.
7. CHIHARA, Charles (1972) "On alleged refutations of mechanism using Gödel's incompleteness results", Journal of Philosophy 69, 507-26.
8. CROCCO, Cabriella (2003) "Gödel, Carnap, and the Fregean heritage", Synthese 137, 21-41.
9. DAVIES, Paul (1992), The Mind of God, Simon & Schuster, New York.
10. DAVIS, Martin (1993) "How subtle is Gödel's theorem? More on Roger Penrose", Behavioral and Brain Sciences 16, 611-612.
11. DUMMETT, Michael (1963) "The philosophical significance of Gödel's theorem", Ratio 5, 140-155.
12. Reprinted in M. Dummett: Truth and Other Enigmas, Duckworth, London, 1978, 186-201.
13. DUMMETT, Michael (1994) "Reply to Wright", in Brian McGuinness and Gianluigi Oliver (eds.), The Philosophy of Michael Dummett, Kluwer, Dordrecht, 329-338.
14. DETLEFSEN, Michael (1995) "Wright on the non-mechanizability of intuitionist reasoning", Philosophia Mathematica 3, 103-118.
15. FEFERMAN, Solomon (1964) "Systems of predicative analysis", Journal of Symbolic Logic 29, 1-30.
16. FEFERMAN, Solomon (1991) "Reflecting incompleteness", Journal of Symbolic Logic 56, 1-49.
17. FEFERMAN, Solomon (1995) "Penrose's Gödelian argument: A review of Shadows of Mind, by Roger Penrose", Psyche 2 (7).
18. FEFERMAN, Solomon (1996) "Gödel's program for new axioms: why, where, how and what?", in Gödel '96, Lecture Notes in Logic 6, 3-22.
19. FEFERMAN, Solomon and Thomas STRAHM (2000) "The unfolding of non-finitist arithmetic", Annals of Pure and Applied Logic 104, 75-96.
20. GEORGE, Alexander and Daniel VELLEMAN (2000) "Leveling the playing field between mind and machine: a reply to McCall", Journal of Philosophy 97, 456-461.
21. GOLDFARB, Warren and Thomas RICKETTS (1992), "Carnap and the philosophy of mathematics", in David Bell and Wilhelm Vossenkuhl (eds.), Science and Subjectivity, Akademie Verlag, Berlin, 1992, pp. 61-78.
22. GÖDEL, Kurt (1933). "The present situation in the foundations of mathematics", in Gödel 1995, pp. 45-53.
23. GUILLEN, Michael (1983) Bridges to Infinity. Tarcher, Los Angeles.
24. HENKIN, Leo (1962) "Are mathematics and logic identical?", Science 138, 788-794.
25. KREISEL, Georg (1967) "Mathematical logic: what has is done for the philosophy of mathematics?", in Ralph Schoenman (ed.), Bertrand Russell. Philosopher of the Century. George Allen & Unwin, London, 201-272.
26. LINDSTRÖM, Per (2001) "Penrose's new argument", Journal of Philosophical Logic 30, 241-250.
27. LUCAS, J. R. (1962) "Minds, machines, and Gödel", Philosophy 36, 112-137.
28. LUCAS, J. R. (1996) "Minds, machines, and Gödel: A retrospect", in P.J.R. Millican and A. Clark (eds.), Machines and Thought. The Legacy of Alan Turing, Vol. 1, Oxford University Press, Oxford, 103-124.
29. MCCALL, Storrs (1999) "Can a Turing machine know that the Gödel sentence is true?", Journal of Philosophy 96, 525-532.
30. MCCALL, Storrs (2001) "On 'seeing' the truth of Gödel sentence", Facta Philosophica 3, 25-29.
31. MUSGRAVE, Alan (1977) "Logicism revisited", British Journal for the Philosophy of Science 28, 99-127.
32. NAGEL, Ernest and James R. NEWMAN (1958). Gödel's Proof, New York University Press, New York.
33. PENROSE, Roger (1989) The Emperor's New Mind: Concerning Computers, Minds, and the Laws of Physics, Oxford University Press, New York.
34. PENROSE, Roger (1994) Shadows of the Mind: A Search for the Missing Science of Consciousness, Oxford University Press, New York.
35. PENROSE, Roger (1995) "Beyond the doubting of a shadow: A reply to commentaries of Shadows of the Mind", Psyche Vol 2.
36. PENROSE, Roger (1997) "On understanding understanding", Inernational Studies in the Philosophy of Science 11, 7-20.
37. PICCININI, Gualtiero (2003) "Alan Turing and the mathematical objection", Minds and Machines 13, 23-48.
38. PUDLAK, Pavel (1999) "A note on applicability of the incompleteness theorem to human mind", Annals of Pure and Applied Logic 96, 335-342.
39. Reprinted in H. Putnam: Mind, Language, and Reality. Philosophical Papers, Vol 2. Cambridge University Press, Cambridge, 1975, 325-341.
40. PUTNAM, Hilary (1967) "Mathematics without foundations", Journal of Philosophy 44, 5-22.
41. Reprinted in H. Putnam: Mathematics, Matter and Method. Philosophical Papers Vol 1. Cambridge University Press, Cambridge, 1975, 43-59.
42. PUTNAM, Hilary (1975) "What is mathematical truth?", Historia Mathematica 2, 529-545.
43. QUINE, W. V. (1940) Mathematical Logic, Harvard University Press, Cambridge, MA.
44. nd ed, Random House, New York.
45. RAATIKAINEN, Panu (1998) "On interpreting Chaitin's incompleteness theorem", Journal of Philosophical Logic 27, 269-586.
46. RAATIKAINEN, Panu (2000) "Algorithmic information theory and udecidability", Synthese 123, 217-225.
47. RAATIKAINEN, Panu (2002) "McCall's Gödelian argument is invalid", Facta Philosophica Vol. 4, No 1, 167-169.
48. RAATIKAINEN, Panu (2003a) "Hilbert's program revisited", Synthese 137, 157-177.
49. RAATIKAINEN, Panu (2003b) "Some strongly undecidable natural arithmetical problems, with an application to intuitionistic theories", Journal of Symbolic Logic 68, 262-266.
50. RAATIKAINEN, Panu (2004) "Conceptions of truth in intuitionism", History and Philosophy of Logic. Vol. 25, 131-145.
51. REINHARDT, William (1985) "Absolute versions of incompleteness theorems", Noûs 19, 317-46.
52. RICKETTS, Thomas (1995) "Carnap's principle of tolerance, empiricism, and conventionalism", in Peter Clark & Bob Hale (eds.), Reading Putnam, Blackwell, Cambridge, 1995, 176-200.
53. RODRÍGUEZ-CONSUEGRA, Francisco (1993) "Russell, Gödel and logicism", in J. Czermak (ed.), Philosophy of Mathematics. Hölder-Pichler-Tempsky, Vienna, 1993, 233-42.
54. ROSSER, Barkley (1936) "Extensions of some theorems of Gödel and Church", Journal of Symbolic Logic 1, 87-91.
55. John SEARLE (1997) "Roger Penrose, Kurt Gödel, and the Cytoskeletons", in J. Searle: Mystery of Consciousness, New York Review Books, New York, 55-93.
56. SHAPIRO, Stewart (1998) "Incompleteness, mechanism, and optimism", Bulletin of Symbolic Logic 4, 273-302.
57. SHAPIRO, Stewart (2003) "Mechanism, truth and Penrose's new argument", Journal of Philosophical Logic 32, 19-42.
58. SCHINS, Juleon M. (1997) "Mathematics: a pointer to an independent reality", in A. Driessen and A. Suarez (eds.), Mathematical Undecidability, Quantum Nonlocality and the Question of the Existence of God, Kluwer, Dordrecht, 49-56.
59. STERNFELD, Robert (1976) "The logistic thesis", in Mathias Schirn (ed.) Studien zu Frege/Studies on Frege I, Frommann-Holzboog, Stuttgart-Bad Cannstatt, 139-160.
60. TENNANT, Neil (2001) "On Turing machines knowing their own Gödel-sentences", Philosophia Mathematica Vol. 9, 72-79
61. WRIGHT, Crispin (1994) "About 'The philosophical significance of Gödel's theorem': some issues", in Brian McGuinness and Gianluigi Oliver (eds.), The Philosophy of Michael Dummett, Kulwer, Dordrecht, 167-202.
62. WRIGHT, Crispin (1995) 'Intuitionists are not (Turing) machines', Philosophia Mathematica 3, 86-102.