0 db
0 Ft
EN / HU
Felhasználó neve / E-mail cím

Jelszó

Elfelejtett jelszó
 
 
 
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: Felsőfokon
Sorozat: A logika világa

Ára: 1850 Ft (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

AJÁNLOTT KÖNYVEK