
(0 vélemény)
Állapot
Készleten
Jó
Antikvár bolt
Sarkai enyhén kopottasak.
Állapot fotók

713
hűségpont
Hogy működik az alku?
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. A kötet anyagának jelentős része magyar nyelven először jelenik meg, a szerző azonban a már ismert bizonyítások helyett is új, egyszerűbb gondolatmeneteket mutat be. A tanulást számos feladat segíti.
Mutass kevesebbet
| ISBN: | 9789639648987 |
|---|---|
| Kiadó: | Typotex Kiadó |
| Kiadás éve: | 2006 |
| Kiadás helye: | Budapest |
| Kiadás sorszáma: | 3. |
| Nyomda: | Dabas Jegyzet Kft. |
| Kötés típusa: | ragasztott papír |
| Terjedelem: | 163 |
| Nyelv: | magyar |
| Méret: | Szélesség: 12.00 cm, Magasság: 20.00 cm |
| Súly: | |
| Kategória: | Természettudomány / Matematika / Filozófia |
Az Ön ajánlója
Alkupontjait és hűségpontjait csak belépett felhasználóként írjuk jóvá. Csak könyvajánló esetén írjuk jóvá a jutalmakat.
Írjon ajánlót a könyvről, hogy mások is kedvet kapjanak az elolvasásához. Kérjük ne a könyv állapotáról és a kiszolgálásról írjon véleményt.
Vélemények a könyvről