Skip to main content
Log in

Gödel and the Concept of Meaning in Mathematics

  • Published:
Synthese Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

REFERENCES

  • De Millo, Richard, Richard Lipton and Alan Perlis: 1979, ‘Social Processes and Proofs of Theorems and Programs’, Communication of the ACM 22, 271–280 (reprinted in Tymoczko, 1985).

    Google Scholar 

  • Gödel, Kurt: 1995, Collected Works, Vol III, Unpublished Essays and Lectures, Solomon Feferman et al. (eds.), Oxford University Press, Oxford, UK.

  • Putnam, Hilary: 1975, Mathematics, Matter and Method, Cambridge University Press, Cambridge. The relevant essay is ‘What is Mathematical Truth’ (reprinted in Tymoczko, 1985).

    Google Scholar 

  • Putnam, Hilary: 1981, Reason, Truth and History, Cambridge University Press, Cambridge, UK.

    Google Scholar 

  • Putnam, Hilary: 1988, Representation and Reality, MIT Press, Cambridge, MA, USA.

    Google Scholar 

  • Putnam, Hilary: 1995, Review of Shadows of the Mind by Roger Penrose, Bulletin of the American Mathematical Society 32, 370–373.

    Google Scholar 

  • Thurston, William: 1994, ‘On Proof and Progress in Mathematics’, Bulletin of the American Mathematical Society 30, 161–177.

    Google Scholar 

  • Turing, A. M: 1950, ‘Computing Machinery and Intelligence’, Mind 59, 433–460.

    Google Scholar 

  • Tymoczko, Thomas: 1979, ‘The Four-Color Problem and Its Philosophical Significance’, Journal of Philosophy 76, 57–83 (reprinted in Tymoczko, 1985).

    Google Scholar 

  • Tymoczko, Thomas (ed.): 1985, New Directions in the Philosophy of Mathematics, Birkhauser, Boston.

    Google Scholar 

  • Wang, Hao: 1974, From Mathematics to Philosophy, Humanities Press, New York.

    Google Scholar 

  • Wang, Hao: 1987, Reflections on Kurt Gödel, MIT Press, Cambridge, MA, USA.

    Google Scholar 

  • Wang, Hao: 1991, ‘To and from Philosophy — Discussions with Gödel and Wittgenstein’, Synthese 88, 229–277.

    Google Scholar 

  • Whitney, H. and W. T. Tutte: 1975, ‘Kempe Chains and the Four Color Problem’, in Studies in Graph Theory, Part II, Mathematical Association of America, Providence, RI.

    Google Scholar 

  • Wittgenstein, Ludwig: 1974, Philosophical Grammar, Rush Rhees (ed.), Anthony Kenny (trans.), Blackwell, Oxford, UK.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

About this article

Cite this article

Tymoczko, T. Gödel and the Concept of Meaning in Mathematics. Synthese 114, 25–40 (1998). https://doi.org/10.1023/A:1005090106634

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1005090106634

Navigation