Hankovszky Tamás

Elsőrendű logika


Gödel nemteljességi tételei

„Minden olyan formalizált axiomatikus S elméletben, amely tartalmazza az elemi aritmetika elegendő részét, van olyan GS mondat, hogy ha S konzisztens, akkor GS igaz, de bizonyíthatatlan S-ben (Gödel első tétele), és ugyanez áll arra a ConsS mondatra is, amely az S elmélet konzisztenciáját kifejező állítás természetes formalizáltjának tekinthető (Gödel második tétele).” 3

Elsőrendű logika

Tartalomjegyzék


Kiadó: Akadémiai Kiadó

Online megjelenés éve: 2018

ISBN: 978 963 454 254 4

E jegyzet célja, hogy segítse a szimbolikus logika alapjait már ismerő hallgatókat Ruzsa Imre Bevezetés a modern logikába című alapvető könyvének feldolgozásában. Ezt az évtizedeken keresztül tökéletesített kompendiumot ugyanis meglehetősen nagyvonalú tárgyalásmód jellemzi, és inkább a szakembernek, mint a hallgatónak szól. A logikával épp csak ismerkedők számára hasznos olyan kiegészítéseket, magyarázatokat rendelni hozzá, amelyekkel e bizonyára sokáig felülmúlhatatlan magyar nyelvű munka számukra is befogadhatóvá válik. A következő oldalak, bár remélhetőleg önmagukban is érthetőek, szorosan Ruzsa művéhez kapcsolódnak, és azzal együtt olvasandók.

Hivatkozás: https://mersz.hu/hankovszky-elsorendu-logika//

BibTeXEndNoteMendeleyZotero

Kivonat
fullscreenclose
printsave