Raymond Smullyan
Gödel nemteljességi tételei (Könyv)
ára: 1 580 Ft volt)
Szerző: | Raymond Smullyan |
Kiadó: | Typotex Kft. Elektronikus Kiadó |
Kiadás éve: | 1999 |
Oldalszám: | 169 |
ISBN: | 9789639132481 |
Aranykártya: | 13 pont |
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 ennek a könyvnek, A
hölgy vagy a tigris és a Seherezádé rejtélye című
nagysikerű kötetek szerzőjeként ismertük meg, a tőle
megszokott világos, élvezetes stílusban nyújt
bevezetést a logika ezen központi témakörébe. Nem
csupán Gödel eredeti gondolatmenetét követhetjük
nyomon, de megismerkedhetünk az eredmények különböző
általánosításaival is. Külön figyelmet érdemel az
utolsó fejezet, amelyben színre lépnek a szerző
kedvenc szereplői - lovagok, lókötők, sámánok - is, a
logikai fejtörők pedig az eredmények újragondolására
és további általánosításra sarkallnak.
Raymond Smullyan: Gödel nemteljességi tételei könyv ára: 1 580 Ft