Tamamlanamazlık Teoremleri Bağlamında Gödel’in Sayı Anlayışı

Abstract

Bu çalışma, Gödel’in birinci ve ikinci tamamlanamazlık teoremlerinin sayı kavramının epistemolojisi ve ontolojisi üzerindeki felsefi sonuçlarını incelemektedir. Temel sav, bu teoremlerin aritmetiğin tutarsızlığını değil, biçimsel dizgelerin sınırlarını gösterdiği; böylece doğruluk ile kanıtlanabilirlik arasındaki ayrımı görünür kıldığıdır. Çalışma, önce teoremlerin teknik anlamını açıklamakta, ardından bu sonuçların Hilbert programı, matematiksel gerçekçilik ve matematiksel sezgi tartışmaları bakımından ne ifade ettiğini değerlendirmektedir. Bu çerçevede, Gödel’in matematiksel nesneleri zihinden bağımsız soyut varlıklar olarak konumlandırdığı ve matematiksel bilginin yalnızca biçimsel çıkarıma indirgenemeyeceğini savunduğu gösterilmektedir. Sonuç olarak makale, tamamlanamazlık teoremlerinin yalnızca mantıksal bir sınırlılık tezi değil, sayıların ne olduğu ve nasıl bilinebileceği sorularını yeniden biçimlendiren güçlü bir çerçeve ortaya koyduğunu ileri sürmektedir.

Keywords

• Gödel
• Tamamlanamazlık Teoremleri
• Matematiksel Gerçekçilik
• Sayı
• Matematiksel Sezgi
• Aritmetiğin Tutarlılığı
• Sayı Epistemolojisi.

Gödel’s Conception of Number in the Context of the Incompleteness Theorems

Abstract

This study examines the philosophical implications of Gödel’s first and second incompleteness theorems for the epistemology and ontology of number. Its central claim is that these theorems do not demonstrate the inconsistency of arithmetic, but rather reveal the limits of formal systems, thereby making visible the distinction between truth and provability. The study first explains the technical meaning of the theorems and then assesses their significance for the Hilbert program, mathematical realism, and debates on mathematical intuition. In this framework, it argues that Gödel conceives mathematical objects as mind-independent abstract entities and maintains that mathematical knowledge cannot be reduced to formal deduction alone. In conclusion, the article contends that the incompleteness theorems are not merely a thesis about logical limitation, but a powerful philosophical intervention that reshapes the questions of what numbers are and how they can be known.

Keywords

• Gödel
• Incompleteness Theorems
• Mathematical Realism
• Number
• Mathematical Intuition
• Consistency of Arithmetic
• Epistemology of Number.

References

1. Çitil, Ahmet Ayhan. Matematik ve Metafizik Kitap 1: Sayı ve Nesne. İstanbul: Alfa, 2012.
2. Gözkân, Bülent. “Sunuş”. Ernest Nagel - James R. Newman. Gödel Kanıtlaması. çev. Bülent Gözkân. 7-16. İstanbul: Alfa, 2020.
3. Atten, Mark van - Kennedy, Juliette. “On the Philosophical Development of Kurt Gödel”. The Bulletin of Symbolic Logic 9/4 (2003), 425-476.
4. Benacerraf, Paul. “Mathematical Truth”. The Journal of Philosophy 70/19 (1973), 661-679.
5. Benacerraf, Paul. “What Numbers Could Not Be”. The Philosophical Review 74/1 (1965), 47-73.
6. Dawson, John W., Jr. Logical Dilemmas: The Life and Work of Kurt Gödel. Wellesley, MA: A K Peters, 1997.
7. Feferman, Solomon. “Gödel’s Life and Work”. Kurt Gödel: Collected Works. ed. Solomon Feferman vd. 1/1-36. Oxford: Oxford University Press, 1986.
8. Franzén, Torkel. Gödel’s Theorem: An Incomplete Guide to Its Use and Abuse. Wellesley, MA: A K Peters, 2005.

9. Gödel, Kurt. Principia Mathematica ve İlişkili Dizgelerin Biçimsel Olarak Kararlaştırılamayan Önermeleri Üzerine I. çev. Özge Ekin. İstanbul: Boğaziçi Üniversitesi Yayınevi, 2010.
10. Gödel, Kurt. “Russell’s Mathematical Logic”. Kurt Gödel: Collected Works. ed. Solomon Feferman vd. 2/119-141. Oxford: Oxford University Press, 1990.
11. Gödel, Kurt. “Some Basic Theorems on the Foundations of Mathematics and Their Implications”. Kurt Gödel: Collected Works. ed. Solomon Feferman vd. 3/304-323. Oxford: Oxford University Press, 1995.
12. Gödel, Kurt. “Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I”. Monatshefte für Mathematik und Physik 38 (1931), 173-198.
13. Gödel, Kurt. “What Is Cantor’s Continuum Problem?” Kurt Gödel: Collected Works. ed. Solomon Feferman vd. 2/254-270. Oxford: Oxford University Press, 1990.
14. Hilbert, David. “Über das Unendliche”. Mathematische Annalen 95 (1926), 161-190.
15. Maddy, Penelope. Realism in Mathematics. Oxford: Clarendon Press, 1990.
16. Parsons, Charles. “Platonism and Mathematical Intuition in Kurt Gödel’s Thought”. The Bulletin of Symbolic Logic 1/1 (1995), 44-74.
17. Putnam, Hilary. “What Is Mathematical Truth?” Mathematics, Matter and Method: Philosophical Papers. 1/60-78. Cambridge: Cambridge University Press, 2. Basım, 1979.
18. Quine, W. V. O. “Two Dogmas of Empiricism”. The Philosophical Review 60/1 (1951), 20-43.
19. Shapiro, Stewart. Thinking about Mathematics: The Philosophy of Mathematics. Oxford: Oxford University Press, 2000.
20. Smith, Peter. An Introduction to Gödel’s Theorems. Cambridge: Cambridge University Press, 2. Basım, 2013.
21. Wang, Hao. A Logical Journey: From Gödel to Philosophy. Cambridge, MA: MIT Press, 1996.
22. Whitehead, Alfred North - Russell, Bertrand. Principia Mathematica. Cambridge: Cambridge University Press, 1910.