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-329E.09
- Cím
- Bizonyításelmélet II.: Gödel nemteljességi tételei
- Tervezett félév
- Tavaszi
- Meghirdetve
- 2025/26/2
- ECTS
- 4
- Nyelv
- en
- 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.