Logicism and Gödel's incompleteness theorems


Tezin Türü: Yüksek Lisans

Tezin Yürütüldüğü Kurum: Boğaziçi Üniversitesi, SOSYAL BİLİMLER ENSTİTÜSÜ, SOSYAL BİLİMLER ENSTİTÜSÜ, Türkiye

Tezin Onay Tarihi: 2016

Tezin Dili: İngilizce

Öğrenci: BERK POLAT

Danışman: BERNA KILINÇ

Açık Arşiv Koleksiyonu: AVESİS Açık Erişim Koleksiyonu

Özet:

Leibniz'ın matematiksel önermelerin aslında basit eşitlik önermelerinden ibaret olduğunu düşündüğü on sekizinci yüzyıla dayanan mantıkçılık düşüncesi kısaca, matematiğin mantığa indirgenebileceğini ileri sürer ve matematiğin doğası hakkındaki epistemolojik ve ontolojik sorulara cevaplar arar. Bu çalışma, Gödel'in eksiklik teoremlerinin mantıkçılık akımını tamamen yıktığını ileri süren genel görüşü ele alacak ve sonunda şu sonuca varmaya çalışacak: Mantıkçılık görüşü birçok yoruma açıktır ve mantıkçılığın bazı türleri, Gödel'in eksiklik teoremleri ile bağdaşır durumda olabilir.