9639548987
| dc.date.accessioned | 2008-11-18T20:29:58Z | |
| dc.date.available | 2008-11-18T20:29:58Z | |
| dc.description.abstract | 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. | hu |
| dc.identifier.bibid | bibDEK00612387 | hu |
| dc.identifier.isbn | 9639548987 | hu |
| dc.identifier.opac | http://webpac.lib.unideb.hu:8082/WebPac/CorvinaWeb?action=cclfind&resultview=long&ccltext=idno+bibDEK00612387 | hu |
| dc.identifier.uri | http://hdl.handle.net/2437/17739 | |
| dc.title | 9639548987 | hu |
Fájlok
Eredeti köteg (ORIGINAL bundle)
1 - 3 (Összesen 3)
Betöltés ...
- Név:
- 9639548987.jpg
- Méret:
- 8.57 KB
- Formátum:
- Joint Photographic Experts Group/JPEG File Interchange Format (JFIF)
- Leírás:
- borító