
Typotex Kiadó Gödel nemteljességi tételei
10 790 Ft-tól
ÁRFIGYELÉS
Kurt Gödel minden kétséget kizáróan századunk legnagyobb logikusa, 1931-es cikkének megjelenése a matematikai logika történetének egyik fordulópontja. Bizonyítást nyer itt, hogy az axiomatikus módszer nem "mindenható": az aritmetikát is magukba foglaló rendszerekről kiderül, hogy mindig akad bennük olyan állítás, amely a rendszer keretei között nem bizonyítható és nem is cáfolható, sőt a rendszer ellentmondás-mentessége sem. Smullyan, akinek nevét a Mi a címe
Gyártói cikkszám: 2399956169854