HİLBERT’İN BİÇİMSELLEŞTİRME PROGRAMININ FELSEFESİ
Authors : Ahmet Çevik
Pages : 265-280
View : 6 | Download : 2
Publication Date : 2014-12-15
Article Type : Research
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ödel’in eksiklik teoremi, Hilbert’in programı, biçimselleştirme, hesaplanabilirlik, rastgelelik.