Ez az oldal sütiket használ
A www.typotex.hu webáruházának felületén sütiket (cookies) használ, vagyis a rendszer adatokat tárol az Ön böngészőjében. A sütik személyek azonosítására nem alkalmasak, szolgáltatásaink biztosításához szükségesek. Az oldal használatával Ön beleegyezik a sütik használatába. További információért kérjük, olvassa el adatvédelmi elveinket!
0 db
0 Ft
Felhasználó neve / E-mail cím

Jelszó

Elfelejtett jelszó
 
 
 
Fordította: Csaba Ferenc
Megjelenés: 2005
Oldalszám: 150 oldal
Formátum: A/5, fűzve
ISBN: 978-963-9548-98-5
Témakör: Matematika felsőfokon
Sorozat: A logika világa

Elfogyott

Gödel nemteljességi tételei

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.

AJÁNLOTT KÖNYVEK