Recenziók
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 ...
Tovább
