| Ders Dili |
Türkçe |
| Ders Türü |
Mesleki Seçmeli Dersler |
| Öğretim Elemanları |
|
| Dersin Veriliş Biçimi |
Bu ders sadece yüz yüze eğitim şeklinde yürütülmektedir. |
| Dersin Önkoşulları |
Temel düzeyde nicelemeli mantık bilgisi beklenmektedir. |
| Önerilen Dersler |
Sembolik Mantık I (MNT102) ve Sembolik Mantık II (MNT203) derslerini almış olmaları önerilmektedir. |
| Okuma Listesi |
Matematik Felsefesi, (Der. Bekir S. Gür) FOL Kitap, 2019 |
| Değerlendirme |
1 Arasınav (Klasik), 1 Final Sınavı (Klasik) |
| Staj & Uygulama |
Yok |
| Katalog İçeriği |
Biçimsel Diller: Söz dizimsel ve yorumsal kavramlar; Aksiyomatik Sistemler: Tarihsel gelişim ve temel kavramlar; Küme Kuramları; Kuramsal Çatışkılar; Matematiğin Küme Kuramında Temellendirilmesi; Küme Kuramsal Model Kavramı; Matematiksel Sonsuz; Matematiğin Varlıkbilimi ve Bilgi-Kuramına İlişkin Temel Felsefi Yaklaşımlar: Platonculuk, Formalizm, Sezgicilik, Mantıkçılık, Yapısalcılık, Doğalcılık; Hilbert Programı; Gödel'in Eksiklik Teoremi ve Felsefi Sonuçları; Matematiksel Doğruluk. |
Anadolu Üniversitesi 
Türkçe 
İngilizce