Hostname: page-component-7c8c6479df-xxrs7 Total loading time: 0 Render date: 2024-03-29T01:59:15.878Z Has data issue: false hasContentIssue false

What did Gödel Believe and When did He believe It?

Published online by Cambridge University Press:  15 January 2014

Martin Davis*
Affiliation:
3360 Dwight Way, Berkeley, CA 94704-2523, USAEmail: martin@eipye.com

Extract

Gödel has emphasized the important role that his philosophical views had played in his discoveries. Thus, in a letter to Hao Wang of December 7, 1967, explaining why Skolem and others had not obtained the completeness theorem for predicate calculus, Gödel wrote:

      This blindness (or prejudice, or whatever you may call it) of logicians is indeed surprising. But I think the explanation is not hard to find. It lies in a widespread lack, at that time, of the required epistemological attitude toward metamathematics and toward non-finitary reasoning. …
      I may add that my objectivist conception of mathematics and metamathematics in general, and of transfinite reasoning in particular, was fundamental also to my other work in logic.
      How indeed could one think of expressing metamathematics in the mathematical systems themselves, if the latter are considered to consist of meaningless symbols which acquire some substitute of meaning only through metamathematics?
      Or how could one give a consistency proof for the continuum hypothesis by means of my transfinite model Δ if consistency proofs have to be finitary?
      In a similar vein, Gödel has maintained that the “realist” or “Platonist” position regarding sets and the transfinite with which he is identified was part of his belief system from his student days. This can be seen in Gödel's replies to the detailed questionnaire prepared by Burke Grandjean in 1974. Gödel prepared three tentative mutually consistent replies, but sent none of them.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 2005

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1] Bernays, Paul, Sur les questions méthodologiques actuelles de la théorie hilbertienne de la démonstration, Les entretiens de Zurich sur les fondements et la méthode des sciences mathématique (6–9 Décembre 1938) (Gonseth, P., editor), S. A. Leemann frères & Cie., Zurich, 1941, pp. 144152.Google Scholar
[2] Gödel, Kurt, Collected works. Vol. I. Publications 1929–1936, Oxford University Press, Oxford, 1986, (Feferman, S. et al., editors).Google Scholar
[3] Gödel, Kurt, Collected works. Vol. II. Publications 1938–1974, Oxford University Press, Oxford, 1990, (Feferman, S. et al., editors).Google Scholar
[4] Gödel, Kurt, Collected works. Vol. III. Unpublished essays and lectures, Oxford University Press, Oxford, 1995, (Feferman, S. et al., editors).Google Scholar
[5] Gödel, Kurt, Collected works. Vol. IV. Correspondence A–G, Oxford University Press, Oxford, 2003, (Feferman, S. et al., editors).Google Scholar
[6] Gödel, Kurt, Collected works. Vol. V. Correspondence H—Z, Oxford University Press, Oxford, 2003, (Feferman, S. et al., editors).Google Scholar
[7] Hilbert, D. and Ackermann, W., Grundzüge der theoretischen Logik, Julius Springer, Berlin, 1928.Google Scholar
[8] Shoenfield, Joseph R., The problem of predicativity, Essays on the foundations of mathematics (Bar-Hillel, Yehoshua et al., editors), Magnes Press, Jerusalem, 1961, pp. 132139.Google Scholar
[9] van Atten, Mark and Kennedy, Juliette, On the philosophical development of Kurt Gödel, this Bulletin, vol. 9 (2003), pp. 425476.Google Scholar
[10] van Atten, Mark and Kennedy, Juliette, Gödel's modernism: On set-theoretic incompleteness, Graduate Faculty Philosophy Journal, vol. 25 (2004), pp. 289349.Google Scholar
[11] Wang, Hao, A logical journey: from Gödel to philosophy, MIT Press, Cambridge, Massachusetts, 1996.Google Scholar