Skip to main content

Gödel, Kurt (1906–1978)

GÖDEL, KURT
(19061978)

Kurt Gödel, a logician, was born in Brno, in what is now the Czech Republic, and educated at the University of Vienna, where he became privatdozent in 1933. In 1940 he joined the Institute for Advanced Study in Princeton, New Jersey, where he remained for the rest of his career. Following David Hilbert, Gödel was instrumental in establishing mathematical logic as a fundamental branch of mathematics, achieving results such as the incompleteness theorems that have had a profound impact on twentieth-century thought. In philosophy, by contrast, he represents the path not taken. Of his few writings in this area, including posthumous publications, those that focus on the more immediate ramifications of his own (and closely related) mathematical work have had the greatest impact.

GÖdel's Influence

A close student of the history of philosophy, Gödel follows Plato, Gottfried Wilhelm Leibniz, and Edmund Husserl as opposed to the more fashionable Aristotle, Immanual Kant, and Ludwig Wittgenstein. (On Kant, however, see Gödel 1946/9 and 1961.) Methodologically, two patterns in his thinking stand out. First, a tendency to move from the possible to the actual is reflected in his Leibnizian ontological argument for the existence of god (Gödel 1970). He relies here on the S5 modal principle, (possibly necessarily P necessarily P). It can also, arguably, be discerned in his mathematical Platonismbecause the distinction between the possible and the actual, relevant to material being, collapses in the formal realm of mathematics (see Yourgrau 1999). Finally, in relativistic cosmology (Gödel 1949, 1946/9) he concludes from the possible existence of rotating universes, where time is merely ideal, to its ideality in the actual world.

Second, he is preoccupied with probing mathematically the limits of formal methods in representing intuitive concepts. In his first incompleteness theorem, for example, by applying an ingenious arithmetization of metamathematics to a formal system of arithmetic, Gödel was able to construct a formula expressing its own unprovability, and thus to prove (as he made explicit later) the indefinability within the system of the intuitive concept of arithmetic truth (see Feferman 1984). Along the same lines one may view his results in cosmology as demonstrating the limits of the theory of relativistic space-time in representing the intuitive concept of time, although here, interestingly, his response was to abandon the intuitive concept (see Yourgrau 1999).

From a broader perspective Gödel isolates two basic philosophical worldviews: one with a "leftward" direction, toward skepticism, materialism, and positivism, the other inclined toward "the right," toward spiritualism, idealism, and theology (or metaphysics; Gödel 1961). He puts empiricism on the left and a priorism on the right and points out that although mathematics, qua a priori science, belongs "by its nature" on the right; it too has followed the spirit of the times in moving toward the leftas witnessed by the rise of Hilbert's formalism. With Gottlob Frege, Gödel resists this trend, pointing to his incompleteness theorems as evidence that "the Hilbertian combination of materialism and aspects of classical mathematics proves to be impossible" (1961, p. 381).

Frege and GÖdel

Frege's mathematical philosophy is held together by two strands that may appear to be in tension with one another: on one side his Platonism and conceptual realism, on the other his conception of arithmetic as analytic (that is, as resting on definitions and the laws of logic) and his "context principle" (which seems to put our sentenceshence languageat the center of his philosophy). This second aspect of Frege's thought, via Bertrand Russell and Wittgenstein, helped persuade the positivists of the Vienna Circle (whose meetings Gödel attended) that mathematics is without content, a mere matter of (more or less arbitrary) linguistic conventions concerning the syntax of (formal) language. This conclusion was, however, rejected by both Frege and Gödel (1944, 1951, 195359), Frege hoping, contra Kant, "to put an end to the widespread contempt for analytic judgments and to the legend of the sterility of pure logic" (1884, p. 24; see also 1879, p. 55). Gödel, for his part, insists that "'analytic' does not mean 'true owing to our definitions,' but rather 'true owing to the nature of the concepts occurring therein'" (1951, p. 321). (See Parsons, 1994.)

Frege and Gödel are in further agreement against the spirit of the times, that the fundamental axioms of mathematics should be not simply mutually consistent but (nonhypothetically) true. They also reject Hilbert's conception of axiom systems as "implicit definitions," with Gödel insisting that a formal axiomatic system only partially characterizes the concepts expressed therein. Indeed, his Incompleteness Theorem makes the point dramatically: "Continued appeals to mathematical intuition are necessary for the solution of the problems of finitary number theory. This follows from the fact that for every axiomatic system there are infinitely many undecidable propositions of this type" (1947 [1964], p. 269). And it is in human abilityif indeed humans possess itto intuit new axioms in an open-ended way that Gödel sees a possible argument to the effect that minds are not (Turing) machines (Gödel 1951; Wang 1996).

What kind of intuitions, however, are these? Gödel does, it is true, employ a Kantian term here, but he does not mean concrete immediate individual representations, and on just this point he faults Hilbert: "What Hilbert means by 'Anschauung ' is substantially Kant's space-time intuition. Note that it is Hilbert's insistence on concrete knowledge that makes finitary mathematics so surprisingly weak and excludes many things that are just as incontrovertibly evident to everybody as finitary number theory" (1958 [1972], p. 272, n. b). (See also 1947 [1964], p. 258.) Note, further, that mathematical intuition, though a form of a priori knowledge, does not ensure absolute certainty, which Gödel rejects (Wang 1996); rather, as with its humbler cousin, sense perception, it too may attain various degrees of clarity and reliability (see Gödel 1951, his remarks on Husserl in 1961, and Parsons 1995, 1995a).

The GÖdel Philosophy

Frege and Hilbert, then, serve as useful coordinates in mapping Gödel's philosophy, in its tendency to "the right." What if one chooses Albert Einstein as a third coordinate? Note first that "idealistic" in the title of Gödel (1949) is not a gesture toward a subjective philosophy such as George Berkeley's. (In his final years, he became sympathetic with Husserl's later idealism, which does not exclude objectivism. See van Atten and Kennedy 2003.) Rather, Gödel is pointing to the classic Platonic distinction between appearance and reality. Though the world may appear (to the senses) as if temporal, this is in fact an illusion. Only reasonhere, mathematical physicscan provide a more adequate cognition of reality (i.e., of Einstein-Minkowski space-time). Gödel makes a sharp distinction between intuitive time, which lapses, and the temporal component of space-time. By his lights, already in the special theory of relativity (STR) intuitive time has disappeared, because "the existence of an objective lapse of time means that reality consists of an infinity of layers of 'now' which come into existence successively" (Gödel 1949, pp. 202203), whereas the relativity of simultaneity in the STR implies that "each observer has his own set of 'nows,' and none of these various systems of layers can claim the prerogative of representing the objective lapse of time" (p. 203).

These observations, however, rely on the equivalence of all "observers" or reference frames in the STR, whereas in the general theory of relativity (GTR), of which the STR is an idealized special case, the presence of matter and the consequent curvature of space-time permit the introduction of privileged observers, in relation to which one can define a "world time" (which, one may say, objectively lapses). Gödel's discovery is that there exist models of the GTRthe rotating universeswhere, provably, no such definition of a world time is possible. In particular, these worlds permit time travel, in the sense that, "for every possible definition of a world time one could travel into regions of the universe which are past according to that definition," and "this again shows that to assume an objective lapse of time would lose every justification in these worlds" (1949 p. 205). The idea here is clearly that if a time has "objectively lapsed," it no longer exists and so is not there to be revisited (in the future). Hence, by contraposition, if it can be revisited, it never did objectively lapse in the first place.

To describe the Gödel universe as static, however, as opposed to our own, would be misleading. The time traveler's rocket ship, for example, would move at a speed of at least 1/2 of the velocity of light! It would seem to observers, just as in this world, to be moving at great speed, and in general the denizens of Gödel's universe may well experience time much as we do in the actual world. Indeed, that is why Gödel moves from the mere possible existence of the Gödel universe to the ideality of time in the actual world, because "if the experience of the lapse of time can exist without an objective lapse of time, no reason can be given why an objective lapse of time should be assumed at all" (p. 206; see Yourgrau 1999).

Here, then, is another example of the Janus-faced quality of Gödel's thinking, presaged already in his arithmetization of metamathematicscontributing mathematically to "the left" while at the same time, as he sees it, pointing to "the right."

See also Gödel's Incompleteness Theorems; Logic, History of; Mathematics, Foundations of.

Bibliography

primary sources

"Russell's Mathematical Logic" [1944]. In Collected Works, vol. 2. New York: Oxford University Press, 1990.

"Some Observations about the Relationship between Theory of Relativity and Kantian Philosophy" [1946/9]. In Collected Works, vol. 3. New York: Oxford University Press, 1994.

"What Is Cantor's Continuum Problem?" [1947; 1964]. In Collected Works, vol. 2. New York: Oxford University Press, 1990.

"Some Basic Theorems on the Foundations of Mathematics and Their Implications" [1951]. In Collected Works, vol. 3. New York: Oxford University Press, 1994.

"The Modern Development of the Foundations of Mathematics in the Light of Philosophy" [1961], transl. E. Köhler and H. Wang. In Collected Works, vol. 3. New York: Oxford University Press, 1994.

"Ontological Proof" [1970]. In Collected Works, vol. 3. New York: Oxford University Press, 1994.

"On an Extension of Finitary Mathematics Which Has Not Yet Been Used" Translated by L. F. Boron and revised by K. Gödel. In Collected Works, vol. 2. New York: Oxford University Press, 1990.

"A Remark about the Relationship between Relativity Theory and Idealistic Philosophy" In Collected Works, vol. 2. New York: Oxford University Press, 1990.

"Is Mathematics Syntax of Language?" In Collected Works, vol. 3. New York: Oxford University Press, 1994.

secondary sources

Buldt, B., et al., eds. Kurt Gödel: Wahrheit und Beweisbarkeit. Vienna: Hölder-Pichler-Tempsky, 2002.

Dawson, J. Logical Dilemmas: The Life and Work of Kurt Gödel. Wellesley: A. K. Peters, 1995.

Feferman, S. "Kurt Gödel: Conviction and Caution." Philosophia Naturalis 21 (1984): 546562.

Frege, G. Begriffsschrift: A Formula Language, Modeled upon That of Arithmetic, for Pure Thought [1879]. Translated by S. Bauer-Mengelberg. In From Frege to Gödel: A Source Book in Mathematical Logic, 18791931, edited by J. van Heijenoort. Cambridge, MA: Harvard University Press, 1967.

Frege, G. The Foundations of Arithmetic [1884]. Translated by J. L. Austin. Evanston, IL: Northwestern University Press, 1980.

Kreisel, G. "Kurt Gödel." Biographical Memoirs of Fellows of the Royal Society 26 (1980): 149224.

Parsons, C. "Platonism and Mathematical Intuition in Kurt Gödel's Thought." The Bulletin of Symbolic Logic 1 (1) (1995a): 4474.

Parsons, C. "Quine and Gödel on Analyticity." In On Quine: New Essays, edited by P. Leonardi., Cambridge, MA: Cambridge University Press, 1995.

van Atten, M., and J. Kennedy. "On the Philosophical Development of Kurt Gödel." The Bulletin of Symbolic Logic 9 (4) (December 2003): 425476.

Wang, H. From Mathematics to Philosophy. New York: MIT Press, 1974.

Wang, H. A Logical Journey: From Gödel to Philosophy. Cambridge, MA: MIT Press, 1996.

Yourgrau, P. Gödel Meets Einstein: Time Travel in the Gödel Universe. Chicago: Open Court, 1999.

Yourgrau, P. "Review Essay: Hao Wang, Reflections on Kurt Gödel." Philosophy and Phenomenological Research 1 (1989): 391408.

Palle Yourgrau (1996, 2005)

Cite this article
Pick a style below, and copy the text for your bibliography.

  • MLA
  • Chicago
  • APA

"Gödel, Kurt (1906–1978)." Encyclopedia of Philosophy. . Encyclopedia.com. 23 Jun. 2019 <https://www.encyclopedia.com>.

"Gödel, Kurt (1906–1978)." Encyclopedia of Philosophy. . Encyclopedia.com. (June 23, 2019). https://www.encyclopedia.com/humanities/encyclopedias-almanacs-transcripts-and-maps/godel-kurt-1906-1978

"Gödel, Kurt (1906–1978)." Encyclopedia of Philosophy. . Retrieved June 23, 2019 from Encyclopedia.com: https://www.encyclopedia.com/humanities/encyclopedias-almanacs-transcripts-and-maps/godel-kurt-1906-1978

Learn more about citation styles

Citation styles

Encyclopedia.com gives you the ability to cite reference entries and articles according to common styles from the Modern Language Association (MLA), The Chicago Manual of Style, and the American Psychological Association (APA).

Within the “Cite this article” tool, pick a style to see how all available information looks when formatted according to that style. Then, copy and paste the text into your bibliography or works cited list.

Because each style has its own formatting nuances that evolve over time and not all information is available for every reference entry or article, Encyclopedia.com cannot guarantee each citation it generates. Therefore, it’s best to use Encyclopedia.com citations as a starting point before checking the style against your school or publication’s requirements and the most-recent information available at these sites:

Modern Language Association

http://www.mla.org/style

The Chicago Manual of Style

http://www.chicagomanualofstyle.org/tools_citationguide.html

American Psychological Association

http://apastyle.apa.org/

Notes:
  • Most online reference entries and articles do not have page numbers. Therefore, that information is unavailable for most Encyclopedia.com content. However, the date of retrieval is often important. Refer to each style’s convention regarding the best way to format page numbers and retrieval dates.
  • In addition to the MLA, Chicago, and APA styles, your school, university, publication, or institution may have its own requirements for citations. Therefore, be sure to refer to those guidelines when editing your bibliography or works cited list.