Mi a címe ennek a kurzusnak?

Játékos bevezetés a logikába
2025 őszi szemeszter
BBN-SZB-122.01, BBV-020:02, BMVD-020:02
Máté András
P 14:00-15:30
i/221
Első óra: szeptember 12.

A kurzus Raymond Smullyan egy könyvén alapul, a címe: „Mi a címe ennek a könyvnek?” (Typotex, 1996 és újabb kiadások). Meg lehet tudni belőle, hogy hogyan kerüljük el a farkasembereket, él-e még Drakula, hogyan lehet bármit bebizonyítani, de a végén Gödel nemteljességi tételének gondolatmenetébe is bepillantást nyerünk. A közös gondolat mindebben az önreflexió problémája: mi van akkor, amikor egy mondat saját magáról állít valamit? Gondoljunk a leghíresebb vagy leghírhedtebb példára: amikor egy mondat saját magáról azt állítja, hogy hamis. Itt kezdődik a történet, a vége pedig (legalábbis egyelőre) Gödel nevezetes mondata, amely azt állítja saját magáról, hogy nem bizonyítható. Az órák legalább háromnegyedrészt játékos rejtvényfeladatok megoldásából állnak majd, a maradék a matematikai logika első fejezetének, a kijelentéslogikának a bemutatása lesz. A (nagyon egyszerű) matematikai eszközöket felhasználjuk majd a rejtvényfeladatok megoldásában
A jegyszerzéshez Smullyan rejtvényfeladataiból kell megoldani néhányat. Ez teljesíthető az órán megajánlott jegyért vagy a félév végén vizsga formájában. Az órákon használt prezentációkat itt közzéteszem.

Prezentációk:
Szeptember 12.
Szeptember 26.
Október 3.