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

Authors : Ahmet ÇEVİK

Pages : 265-280

View : 15 | Download : 10

Publication Date : 2014-12-15

Article Type : Research Paper

Abstract :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.
Keywords : Matematik felsefesi, matematiksel mantık, Gödelin eksiklik teoremi, Hilbertin programı, biçimselleştirme, hesaplanabilirlik, rastgelelik