Incompleteness, mechanism, and optimism

Bulletin of Symbolic Logic

Volumn 4, Issue 3, 1998, Pages 273-302

  Shapiro, Stewart ^a  

^a OHIO STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0032148332     PISSN: 10798986     EISSN: None     Source Type: Journal    
DOI: 10.2307/421032     Document Type: Article

References (33)

1. P. BENACERRAF, God, the devil, and Gödel, The Monist, vol. 51 (1967), pp. 9-32.
2. G. BOOLOS, Introductory note to [11], in [12], (1995), pp. 290-304.
3. D. BOYER, J. R. Lucas, Kurt Gödel, and Fred As aire, Philosophical Quarterly, vol. 33 (1983), pp. 147-159.
4. D. J. CHALMERS, Minds, machines, and mathematics, Psyche, vol. 2 (1995), no. 9, http://psyche.cs.monash.edu.au/v2/psyche-2-09-chalmers.html
5. M DETLEFSEN, Hilbert's program, D. Reidel Publishing Company, Dordrecht, 1986.
6. M. DUMMETT, The philosophical significance of Gödel's theorem, Ratio, vol. 5 (1963), pp. 140-155.
7. _, Reply to Wright, The philosophy of Michael Dummett (B. McGuinness and G. Oliveri, editors), Kluwer Academic Publishers, Dordrecht, The Netherlands, 1994, pp. 329-338.
8. S. FEFERMAN, Arithmetization of mathematics in a general setting, Fundamenta Mathematicae, vol. 49 (1960), pp. 35-92.
9. _, Transfinite recursive progression of axiomatic theories, Journal of Symbolic Logic, vol. 27 (1962), pp. 259-316.
10. _, Turingi n the land of O(z), The universal Turing machine (R. Herken, editor), Oxford University Press, New York, 1988, pp. 113-147.
11. K. GÖDEL, Some basic theorems on the foundations of mathematics and their implications, in [12], (1951), pp. 304-323.
12. _, Collected works III, Oxford University Press, Oxford, 1995.
13. D. HOFSTADTER, Gödel, Escher, Bach, Basic Books, New York, 1979.
14. 1, paths through O?, Journal of Symbolic Logic, vol. 37 (1972) pp. 311-334.
15. S. KRIPKE, Wittgenstein on rules and private language, Harvard University Press, Cambridge, Massachusetts, 1982.
16. I. LAKATOS, Proofs and refutations (J. Worrall and E. Zahar, editors), Cambridge University Press, Cambridge, 1976.
17. _, Mathematics, science and epistemology (J. Worrall and G. Currie, editors), Cambridge University Press, Cambridge, 1978.
18. J. R. LUCAS, Minds, machines, and Gödel, Philosophy, vol. 36 (1961), pp. 112-137.
19. _, Minds, machines, and Gödel: A retrospect, Machines and thought: The legacy of Alan Turing, Volume 1 (P. J. R. Millican and A. Clark, editors), Oxford University Press, Oxford, 1996.
20. T. MCCARTHY and S. SHAPIRO, Turing projectibility, Notre Dame Journal of Formal Logic, vol. 28 (1987), pp. 520-535.
21. R. PENROSE, The emperor's new mind: Concerning computers, minds, and the laws of physics, Oxford University Press, Oxford, 1989.
22. _, Shadows of the mind: A search for the missing science of consciousness, Oxford University Press, Oxford, 1994.
23. _, Beyond the doubting of a shadow: A reply to commentaries on 'Shadows of the mind', Psyche, vol. 2 (1996), no. 23, http://psyche.cs.monash.edu.au/v2/ psyche-2-23-penrose.html.
24. H. PUTNAM, Minds and machines, Dimensions of mind: A symposium (Sidney Hood, editor), New York University Press, New York, 1960, pp. 138-164.
25. H. ROGERS, Theory of recursive functions and effective computability, McGraw-Hill, New York, 1967.
26. S. SHAPIRO, Epistemic and intuitionistic arithmetic, Intensional mathematics (S. Shapiro, editor), North-Holland Publishing Company, Amsterdam, 1985, pp. 11-46.
27. R. SMULLYAN, Gödel's incompleteness theorems, Oxford University Press, Oxford, 1992.
28. N. TENNANT, Anti-realism and logic, Oxford University Press, Oxford, 1987.
29. _, The taming of the true, Oxford University Press, Oxford, 1997.
30. A. TURING, Systems of logic based on ordinals, Proceedings of the London Mathematical Society, vol. 45 (1939), pp. 161-228.
31. _, Computing machinery and intelligence, Mind, vol. 59 (1950), pp. 433-460.
32. H. WANG, From mathematics to philosophy, Routledge and Kegan Paul, London, 1974.
33. J. WEBB, Mechanism, mentalism and metamathematics: An essay on finitism, D. Reidel, Dordrecht, Holland, 1980.