Kurt Gödel’in Edmund Husserl Okuması: Matematiğin Temellerini Fenomenolojinin Işığında Aramak

Year 2023, , 61 - 72, 30.12.2023

Abdullah Başaran

https://doi.org/10.15370/maruifd.1383789

Abstract

Büyük mantıkçı ve matematikçi Kurt Gödel, son dönem çalışmalarında küme teorisinin sonuçları, dilin grameri ve felsefesi, nesnellik ve görelilik, Tanrı’nın varlığının ontolojik kanıtı ve kesin bir yöntem olarak fenomenoloji gibi felsefi sorunlara odaklanır. Bu makale Gödel’in kendi zamanının (mantık ve matematik) felsefesini nasıl okuduğunu ve matematiğin temellerini açıklamak için neden Husserl’in fenomenolojisine yöneldiğini incelemektedir. Öncelikle Gödel, Husserl’in Weltanschauung (dünya görüşü) felsefesi ile kesin bilim olarak felsefe arasında yaptığı önemli ayrımı kullanır: Weltanschauung felsefesine göre zamanın ruhu sürekli değişir, dolayısıyla tartışılan fikirler ve ulaşılmaya çalışılan hedefler zamansaldır ve ebedi hakikatler uğruna değil, kendi mükemmellikleri içindir; öte yandan, kesin bilim olarak felsefe ise zamanüstüdür, dolayısıyla amacı da mutlak ve zamansız değerleri keşfetmektir. Gödel, kendi zamanının dünya görüşünü değerlendirdiğinde, felsefe ve matematiğin gelişiminin şüphecilik, kötümserlik ve pozitivizme doğru eğildiğini görür. Örneğin küme teorisinin antinomileri, matematik ve mantığın üzerine kurulduğu zemini sarsmıştır. Gödel de tamamlanmamışlık teoremlerinde bu paradoksları, bir sistem içinde ne kanıtlanabilen ne de çürütülebilen bazı ifadeler olduğunu ortaya koymak için kullanır. Bu aynı zamanda aritmetiğin kendi tutarlılığını kanıtlamaya uygun olmadığı anlamına gelir. Ancak Gödel buradan matematik ve mantıkta nihilizme düşmek sonucuna varmaz: Küme teorisinin bu açık antinomileri bizi “zorunlu olarak” ne mantıksal pozitivizme, ne böyle bir materyalizme ne de herhangi bir karamsar bilgi teorisine götürür. Tamamlanmamışlık teoremleri, kendi hesap sistemi içinde doğru olan ancak ne kanıtlanabilir ne de kanıtlanamaz olan aritmetiksel önermeler olduğunu, dolayısıyla aritmetiğin özünde tamamlanmamış olduğunu ileri sürer. Bununla birlikte, Alfred Tarski’nin bir sistem içindeki hataları tespit edip sistemi hep birlikte yeniden biçimlendirmeye yönelik patolojik görüşü yerine Gödel, matematiksel dünyanın telafi edilemez gerçekliğine işaret eden antinomileri betimleyen yeni kalıplar bulmak için yöntemlerimizi değiştirmemiz gerektiğini savunur. Dolayısıyla Gödel, döneminin Weltanschauung felsefesinin herhangi bir varyasyonunu takip etmez; ne antinomilerden kurtulmak için matematiksel gerçeklikleri matematiksel kanıtlara indirgemeye çalışır ne de kapalı bir biçimsel sistemle eksiksiz bir doğrular sistemini kurtarmaya çabalar, her iki Weltanschauung felsefesi de gerçekçi bir yöntem ortaya koyamaz. Bu bağlamda Gödel, fenomenolojinin görevini, matematiğin temelleri için sistematik bir çerçeve arayışına benzer bulur. Gödel’e göre Husserl’in fenomenolojisi (matematiksel) özlere yönelik sezgiyi çoğaltır ve küme teorisinin antinomileri gibi tanımlanamayan kavramların anlamının açıklığa kavuşturulmasını sağlar. Fenomenolojik indirgemeyi matematiksel dünyanın nesnel gerçekliğine uygulayan Gödel, (matematiksel ve mantıksal) kavramların temel özelliklerinin açık bir deneyimsel gerçekliğini elde ettiğine inanır. Kısaca ifade etmek gerekirse, Gödel’in Husserl’in fenomenolojisinde bulduğu ve kendi matematiksel gerçekçilik yöntemine karşılık gelen şey, matematiksel özleri bize geri veren, derli toplu bir yöntemdir.

Keywords

Kurt Gödel, Matematik, Mantık, Edmund Husserl, Fenomenoloji

Kurt Gödel’s Reading of Edmund Husserl: Seeking the Foundations of Mathematics in the Light of Phenomenology

Abstract

In his later works, the great logician and mathematician Kurt Gödel concentrates his focus on the philosophical problems such as the implications of set theory, the grammar and philosophy of language, objectivity and relativity, the ontological proof of God’s existence, and phenomenology as an exact method. This essay explores how Gödel reads the philosophy (of logic and mathematics) of his time and why he turns his attention to Husserl’s phenomenology for describing the foundations of mathematics. To begin with, Gödel employs Husserl’s significant distinction between Weltanschauung (worldview) philosophy and philosophy as rigorous science: According to the Weltanschauung philosophy, the spirit of time constantly changes so that the ideas discussed and goals attempted are meant to be temporal, and not for the sake of eternal truths, but for that of their own perfection; philosophy as rigorous science, on the other hand, is supratemporal so that its aim is to discover absolute and timeless values. As for the worldview of his time, Gödel sees the development of philosophy and mathematics leaned toward skepticism, pessimism, and positivism. The antinomies of set theory, for instance shaked the grounds on which mathematics and logic are founded. Gödel, too, uses these paradoxes in his incompleteness theorems in order to prove that there are some statements which can neither be proved nor disproved within a system. That also means that arithmetic is not eligible to prove its own consistency. From this, however, Gödel does not come to a conclusion for a nihilism in mathematics and logic: These mere antinomies of set theory do not “necessarily” lead us to logical positivism, and neither to such a materialism, nor to any kind of pessimistic theory of knowledge. The incompleteness theorems assert that there are arithmetical propositions that are true but neither provable nor unprovable within its own calculus, so that arithmetic is intrinsically incomplete. However, instead of Alfred Tarski’s pathological view of examining the detections within the faulty system and then reforming the system all together, Gödel holds that we need to change our methods to find new patterns that describe the antinomies pointing to the unrecoverable reality of the mathematical world. Thus, Gödel does not follow any variation of the Weltanschauung philosophy of his time, either attempting to reduce mathematical realities to mathematical proofs in order to get rid of antinomies, or endeavoring to rescue a complete system of truths by a closed formal system, both Weltanschauung philosophies fail to set forth a realistic method. In this context, Gödel finds the task of phenomenology analogous to what he pursues in terms of a systematic framework for the foundations of mathematics. Husserl’s phenomenology, in Gödel’s account, proliferates the intuition of (mathematical) essences and provides a clarification of meaning of undefinable concepts, such as the antinomies of set theory. Applying the phenomenological reduction to the objective reality of the mathematical world, Gödel believes one obtains a clear experiential reality of the essential characteristics of (mathematical and logical) concepts. Briefly put, what Gödel finds in Husserl’s phenomenology that corresponds to his way of mathematical realism is a thoroughly designated method giving us mathematical essences back again.

Keywords

Kurt Gödel, Mathematics, Logic, Edmund Husserl, Phenomenology

References

• Braithwaite, R.B. “Introduction.” In Kurt Gödel, On Formally Undecidable Propositions of Principia Mathematica and Related Systems. New York: Dover Publications, 1992.
• Carnap, Rudolf. “The Logicist Foundations of Mathematics.” In Philosophy of Mathematics: Selected Readings (Second Edition). Edited by Paul Benacerraf and Hilary Putnam. Cambridge: Cambridge University Press, 1983.
• Casti, John L. and Werner DePauli. Gödel: A Life of Logic. Cambridge, MA: Perseus Publishing, 2000.
• Føllesdal, Dagfinn. “Introductory Note to 1961/?.” In Kurt Gödel: Collected Works, Volume III: Unpublished Essays and Lectures. Edited by S. Feferman, J.W. Dawson, Jr., W. Goldfarb, C. Parsons, R.M. Solovay. New York & Oxford: Oxford University Press, 1995.
• Frege, Gottlob. “The Concept of Number.” In Philosophy of Mathematics: Selected Readings (Second Edition). Edited by Paul Benacerraf and Hilary Putnam. Cambridge: Cambridge University Press, 1983.
• Gödel, Kurt. On Formally Undecidable Propositions of Principia Mathematica and Related Systems. Translated by B. Meltzer. New York: Dover Publications, 1930.
• _______. “Russell’s Mathematical Logic” (1944). In Philosophy of Mathematics: Selected Readings (Second Edition). Edited by Paul Benacerraf and Hilary Putnam. Cambridge: Cambridge University Press, 1983.
• _______. “Some Basic Theorems on the Foundations of Mathematics and Their Implications” (1951). In Kurt Gödel: Collected Works, Volume III: Unpublished Essays and Lectures. Edited by S. Feferman, J.W. Dawson, Jr., W. Goldfarb, C. Parsons, R.M. Solovay. New York & Oxford: Oxford University Press, 1995.
• _______. “Is Mathematics Syntax of Language” (1953/9). In Kurt Gödel: Collected Works, Volume III: Unpublished Essays and Lectures.
• _______. “The Modern Development of the Foundations of Mathematics in the Light of Philosophy” (1961/?). In Kurt Gödel: Collected Works, Volume III: Unpublished Essays and Lectures.
• Goldstein, Rebecca. Incompleteness: The Proof and Paradox of Kurt Gödel. New York: W.W. Norton & Company, 2005.
• Husserl, Edmund. “Philosophy as Rigorous Science.” In Phenomenology and the Crisis of Philosophy. Translated by Quentin Lauer. New York: Harper & Row, 1965.
• _______. “Philosophy and the Crisis of European Man.” In Phenomenology and the Crisis of Philosophy.
• _______. Ideas for a Pure Phenomenology and Phenomenological Philosophy; First Book: General Introduction to Pure Phenomenology. Translated by Daniel O. Dahlstrom. Indianapolis & Cambridge: Hackett Publishing, 2014.
• Lauer, Quentin. “Introduction.” In Edmund Husserl, Phenomenology and the Crisis of Philosophy. Translated by Quentin Lauer. New York: Harper & Row, 1965.
• Tarski, Alfred. “Truth and Proof.” Scientific American 220/ 6 (June 1969): 63-77.
• Tieszen, Richard. “Kurt Gödel and Phenomenology.” Philosophy of Science 59/2 (June 1992): 176-194.
• _______. “Gödel’s Path from the Incompleteness Theorems (1931) to Phenomenology (1961).” The Bulletin of Symbolic Logic 4/2 (June 1998): 181-203.
• Von Neumann, Johann. “The Formalist Foundations of Mathematics.” In Philosophy of Mathematics: Selected Readings (Second Edition). Edited by Paul Benacerraf and Hilary Putnam. Cambridge: Cambridge University Press, 1983.