HİLBERT’İN BİÇİMSELLEŞTİRME PROGRAMININ FELSEFESİ

Yıl 2014, Sayı: 60, 265 - 280, 15.12.2014

Ahmet Çevik

Öz

Bu yazıda, Hilbert’in biçimselleştirme programına kadar giden matematik
felsefesindeki önemli krizlerden bahsedilmiştir. Hilbert’in programının
gerçekleşemeyeceğini gösteren Gödel’in eksiklik teoremi gibi programın
sonuçları ve nedenleri tartışılmıştır. Daha sonra matematikteki eksikliğin
neden varolduğu anlatılmaya çalışılmıştır. Son olarak, Hilbert’in
programından çıkan sonuç irdelenmiştir.

Anahtar Kelimeler

Matematik felsefesi, matematiksel mantık, Gödel’in eksiklik teoremi, Hilbert’in programı, biçimselleştirme, hesaplanabilirlik, rastgelelik.

PHILOSOPHY OF HILBERT’S FORMALIZATION PROGRAM

Öz

I discuss some of the important crises in the philosophy of
mathematics which led to Hilbert’s program for formalizing mathematics.
I discuss its purpose and consequences such as Gödel’s incompleteness
theorems which showed that Hilbert’s program was unachievable. I also
argue the reason why we have incompleteness in mathematics. Finally, I
argue what followed from the failure of Hilbert’s formalization program.

Anahtar Kelimeler

Philosophy of mathematics, mathematical logic, Gödel’s incompleteness theorem, Hilbert’s program, formalization, computability, randomness.

Kaynakça

• • Carl B. Boyer, A History of Mathematics, China and India, Wiley, 1991.
• • Gregory Chaitin, Conversations with a mathematician, Springer, 2002.
• • Bertrand Russell, The Principles of Mathematics, Reprinted, W. W. Norton & Company, 1996.
• • Judith V. Grabiner, The Changing Concept of Change: The Derivative from Fermat to Weierstrass, Mathematics Magazine, Vol. 56, No 4, p.195-206, 1983.
• • Geroge Berkeley, The Analyst, or a Discourse Addressed to an Infidel Mathematician, 1734 (Kessinger Publishing Co, 2004).
• • M. Hallett, Cantorian Set Theory and Limitation of Size, Oxford University Press, New York, 1986.
• • J. W. Dauben, Georg Cantor: His mathematics and the philosophy of the infinite, Princeton University Press, New Jersey, 1979.
• • David Hilbert, Über das Unendliche, Mathematische Annalen 95: p.161–190, 1926.
• • E. Zermelo: Untersuchungen über die Grunlagen der Mengenlehre. Math. Ann. 65, p.261-281, 1908.
• • J. Von Neumann, Zur Hilbertschen Beweistheorie, Mathematische Zeitschrift 26, p.1-46, Harvard University Press, 1927.
• • K. Gödel, Über formal unentscheidbare Satze der Principia Mathematica und verwandtler Systeme I, Monatsh. Math. Und Phys. 38, p.173-198, 1931.
• • J. W. Dawson, Logical Dilemmas: The life and work of Kurt Gödel, A.K. Peters, Wellesley Mass, 1979.
• • A.M.Turing, On computable numbers with an application to the Entscheidungsproblem. Proceedings of the London Mathematical Society, Ser.2, Vol.42, p.230-265, 1936.
• • Gregory Chaitin, Meta Math! The Quest for Omega, Vintage, New York, 2005.
• • Aristotle, The Collected Works of Aristotle, Jonathan Barnes (ed.), Oxford University Press, 1991.