Kurzus nemzetközi vendég- és részidős hallgatóknak
- Kar
- Bölcsészettudományi Kar
- Szervezet
- BTK Filozófia Intézet
- Kód
- BMI-LOTD-316E.01
- Cím
- A matematika filozófiája II.: Gödel befejezetlenségi tételei
- Tervezett félév
- Tavaszi
- ECTS
- 4
- Nyelv
- Oktatás célja
- Kompetencia a metalogika központi tételeinek bizonyításában A kurzus tartalma: A kurzus szigorúan követi Raymond Smullyan azonos című könyvét (részletek lent). A könyv meglehetősen széles és általános keretek között vizsgálja a tételeket és néhány kapcsolódó tételt (Tarski, Shepherdson). Számos, a megértéshez elengedhetetlen gyakorlatot tartalmaz. Az órák általában az előző órán megadott gyakorlatok megoldásával kezdődnek. Értékelési kritériumok, speciális követelmények: A klasszikus elsőrendű logika ismerete előfeltétel. Az osztályzat a hallgató gyakorlatmegoldási teljesítményétől függ. Kötelező irodalom: Raymond M. Smullyan, Gödel's Incompleteness Theorems. Oxford-New York: Oxford University Press, 1992.