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).
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).
Putnam, Hilary: 1981, Reason, Truth and History, Cambridge University Press, Cambridge, UK.
Putnam, Hilary: 1988, Representation and Reality, MIT Press, Cambridge, MA, USA.
Putnam, Hilary: 1995, Review of Shadows of the Mind by Roger Penrose, Bulletin of the American Mathematical Society 32, 370–373.
Thurston, William: 1994, ‘On Proof and Progress in Mathematics’, Bulletin of the American Mathematical Society 30, 161–177.
Turing, A. M: 1950, ‘Computing Machinery and Intelligence’, Mind 59, 433–460.
Tymoczko, Thomas: 1979, ‘The Four-Color Problem and Its Philosophical Significance’, Journal of Philosophy 76, 57–83 (reprinted in Tymoczko, 1985).
Tymoczko, Thomas (ed.): 1985, New Directions in the Philosophy of Mathematics, Birkhauser, Boston.
Wang, Hao: 1974, From Mathematics to Philosophy, Humanities Press, New York.
Wang, Hao: 1987, Reflections on Kurt Gödel, MIT Press, Cambridge, MA, USA.
Wang, Hao: 1991, ‘To and from Philosophy — Discussions with Gödel and Wittgenstein’, Synthese 88, 229–277.
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.
Wittgenstein, Ludwig: 1974, Philosophical Grammar, Rush Rhees (ed.), Anthony Kenny (trans.), Blackwell, Oxford, UK.
Author information
Authors and Affiliations
Rights 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
Issue Date:
DOI: https://doi.org/10.1023/A:1005090106634