| Language of Instruction |
Türkçe |
| Course Type |
Area Elective Courses |
| Course Instructor(s) |
|
| Mode of Delivery |
The mode of delivery for this course is face to face. |
| Prerequisites |
A knowledge of basic quantificational logic is expected. |
| Courses Recomended |
Program courses MNT102 and MNT203 are recommended. |
| Recommended Reading List |
Matematik Felsefesi, (Der. Bekir S. Gür) FOL Kitap, 2019 |
| Assessment methods and criteria |
1 Midterm (Classical) and I Final (Classical) |
| Work Placement |
None |
| Catalog Content |
Formal Languages: Syntactic and interpretational concepts; Axiyomatic Systems: Historical development and basic concepts; Set Theories; Theoretical Antinomies; The Justification Of Mathematics Through Set Theory; The Concept of Set-Theoretical Model; Mathematical Infinite; The Ontology Of Mathematics and Fundamental Philosophical Perspectives On Epistemology: Platonism, Formalism, Intuitionism, Logicism, Structuralism, Naturalism; Hilbert Program; Gödel's Incompleteness Theorem and Its Philosophical Implications; Mathematical Truth. |
Anadolu Info Package 
Turkish 
English