
Fordította: Csaba Ferenc
Megjelenés: 2005
Oldalszám: 150 oldal
Formátum: A/5, fűzve
ISBN: 978-963-9548-98-5
Témakör: Matematika felsőfokon
Sorozat: A logika világa
Elfogyott
Megjelenés: 2005
Oldalszám: 150 oldal
Formátum: A/5, fűzve
ISBN: 978-963-9548-98-5
Témakör: Matematika felsőfokon
Sorozat: A logika világa
Elfogyott
Gödel nemteljességi tételei
Gödel nemteljességi tételei
Új Könyvek – 2000.03.
Kurt Gödel (1906-1978) osztrák származású amerikai matematikus; a matematikai logika, a matematikai analízis és a matematikai fizika terén ért el kimagasló eredményeket. Smullyan e kötete Gödel híres tételével – a nemteljességi tétellel – foglalkozik. Gödel 1931-ben bizonyította be, hogy bizonyos feltételeknek eleget tévő axiómarendszerekben mindig található olyan állítás, amely nem következménye az axiómarendszernek, de az ellenkezője sem, amelyet tehát az axiómarendszeren belül sem bizonyítani, sem cáfolni nem lehet. Smullyan korábbi munkáihoz hasonlóan rendkívül szellemesen és szemléletesen mutatja be és vezeti le a bizonyítási eljárásokat. - A kötet matematikusok, filozófusok, a számítógép-tudománnyal foglalkozó szakemberek számára fontos mű.
Kapcsolódó recenziók
- Gödel nemteljességi tételei (, Új Könyvek – 2000.03., )
AJÁNLOTT KÖNYVEK