9639326992
| dc.date.accessioned | 2008-12-14T06:56:55Z | |
| dc.date.available | 2008-12-14T06:56:55Z | |
| 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. Raymond M. Smullyan 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. | hu |
| dc.identifier.bibid | bibKLT00355577 | hu |
| dc.identifier.isbn | 9639326992 | hu |
| dc.identifier.opac | http://webpac.lib.unideb.hu:8082/WebPac/CorvinaWeb?action=cclfind&resultview=long&ccltext=idno+bibKLT00355577 | hu |
| dc.identifier.uri | http://hdl.handle.net/2437/60961 | |
| dc.title | 9639326992 | hu |