"gödel"
Találatok a szövegben — relevancia szerinti sorrendben (78)
A találatok relevanciája nem csupán a találatok számától, hanem az önálló előfordulás arányától is függ.
Találatok száma a kiadványban
körülbelül 10.
...Gödel nemteljességi tétele . . . . . . . . . . . . . . . . 43 2.3.2. Els®rend¶ logika . . . . . . . . . . . . . . . . . . . . . 45 3....
...Tétel (Gödel nemteljességi tétele). Minden minimálisan megfelel® elmélet nemteljes. Bizonyítás....
...Ezt Gödel második nemteljességi tételének hívják, de itt ennek bizonyításával nem foglalkozunk. 2....
...Gödel nemteljességi tételei 3-4 évvel a kiszámíthatóság fogalma el®tt szü- lettek. 2.3.2....
...A fenti rendszerre a Gödel teljességi tétel egy er®sebb verziója is igaz. 2.3.4. Tétel....
...Gödel nemteljességi tétele . . . . . . . . . . . . . . . . 43 2.3.2. Els®rend¶ logika . . . . . . . . . . . . . . . . . . . . . 45 3....
...Tétel (Gödel nemteljességi tétele). Minden minimálisan megfelel® elmélet nemteljes. Bizonyítás....
...Ezt Gödel második nemteljességi tételének hívják, de itt ennek bizonyításával nem foglalkozunk. 2....
...Gödel nemteljességi tételei 3-4 évvel a kiszámíthatóság fogalma el®tt szü- lettek. 2.3.2....
...A fenti rendszerre a Gödel teljességi tétel egy er®sebb verziója is igaz. 2.3.4. Tétel....
Találatok száma a kiadványban
körülbelül 9.
...Miután körülbelül egy évtizedig kísérleteztek e program megvalósításával, Gödel nagyon figyelemre Neumann János, Ropolyi László A matematikus 95 Typotex Kiadó méltó eredményt produkált....
...Személyes véleményem, amelyben sokakkal osztozom, hogy Gödel megmutatta: Hilbert programja lényegében reménytelen. 4....
...Én is úgy látom és azt hiszem, hogy nincs is más ,,önmagával ellentmondásmentes" felfogás erről a kérdéskomplexumról , hogy Gödel eredményei azt jelentik, hogy ,,teljes" axiomarendszer még a mathematikában sincsen....
...Nb. engem speciálisan bosszant Carnapnál, hogy noha a Gödel nevét állandóan a szájában hordozza, nyilván abszolúte nem értette meg Gödel eredményeinek a tényleges értelmét....
...Neumann János, Ropolyi László 378 Neumann János Typotex Kiadó Nem tudom, hogy megírtam-e, hogy Gödel bebizonyította a következőket: Ha a (szokásos módon axiomatizált) halmazelmélet ellentmondásmentes (az, hogy ez áll-e, az persze éppen Gödel első...
...Miután körülbelül egy évtizedig kísérleteztek e program megvalósításával, Gödel nagyon figyelemre Neumann János, Ropolyi László A matematikus 95 Typotex Kiadó méltó eredményt produkált....
...Személyes véleményem, amelyben sokakkal osztozom, hogy Gödel megmutatta: Hilbert programja lényegében reménytelen. 4....
...Én is úgy látom és azt hiszem, hogy nincs is más ,,önmagával ellentmondásmentes" felfogás erről a kérdéskomplexumról , hogy Gödel eredményei azt jelentik, hogy ,,teljes" axiomarendszer még a mathematikában sincsen....
...Nb. engem speciálisan bosszant Carnapnál, hogy noha a Gödel nevét állandóan a szájában hordozza, nyilván abszolúte nem értette meg Gödel eredményeinek a tényleges értelmét....
...Neumann János, Ropolyi László 378 Neumann János Typotex Kiadó Nem tudom, hogy megírtam-e, hogy Gödel bebizonyította a következőket: Ha a (szokásos módon axiomatizált) halmazelmélet ellentmondásmentes (az, hogy ez áll-e, az persze éppen Gödel első...
Találatok száma a kiadványban
körülbelül 11.
...E magyar származású zsenik mellett azonban voltak saját, élő hőseim is: Claude Shannon, Alan Turing, Kurt Gödel, Harry Nyquist és Norbert Wiener, hogy csak párat említsek. Soha nem reméltem, hogy bármelyikükkel valaha is találkozni fogok....
...Gödel és Turing munkásságáról először Péter Rózsától hallottam, és óriási hőstettként értékeltem Gödel egyes matematikai problémák eldönthetetlenségéről szóló bizonyítását. Úgy láttam, ez az emberi elme fantasztikus teljesítményei közé tartozik....
...Aztán egyszercsak Gödel, többek között, váratlanul bebizonyított egy korszakalkotó tételt (ez később nemteljességi tétel néven vált ismertté), amely szerint bizonyos matematikai problémák eldönthetetlenek....
...Hatalmas és érdekes tapasztalatokra tehettem szert, amikor tizenhat évesen Gödel elméletéről tanultam tőle....
...Gödel-szerű problémák (Gödel-like problems) Olyan állítások, amelyeknek az igazságát nem lehet bebizonyítani....
...E magyar származású zsenik mellett azonban voltak saját, élő hőseim is: Claude Shannon, Alan Turing, Kurt Gödel, Harry Nyquist és Norbert Wiener, hogy csak párat említsek. Soha nem reméltem, hogy bármelyikükkel valaha is találkozni fogok....
...Gödel és Turing munkásságáról először Péter Rózsától hallottam, és óriási hőstettként értékeltem Gödel egyes matematikai problémák eldönthetetlenségéről szóló bizonyítását. Úgy láttam, ez az emberi elme fantasztikus teljesítményei közé tartozik....
...Aztán egyszercsak Gödel, többek között, váratlanul bebizonyított egy korszakalkotó tételt (ez később nemteljességi tétel néven vált ismertté), amely szerint bizonyos matematikai problémák eldönthetetlenek....
...Hatalmas és érdekes tapasztalatokra tehettem szert, amikor tizenhat évesen Gödel elméletéről tanultam tőle....
...Gödel-szerű problémák (Gödel-like problems) Olyan állítások, amelyeknek az igazságát nem lehet bebizonyítani....
Találatok száma a kiadványban
körülbelül 7.
...A matematikai logika fejlődésének új irányt adott Kurt Gödel (1906– 1978) nevezetes felfedezése (1931): minden, az aritmetikát is magában foglaló axiomatikus matematikai rendszerben szükségszerűen vannak el- dönthetetlen állítások....
...Érdekes, hogy a 12.4. sza- kaszban tárgyalt párhuzamossági axióma is a Gödel-tétel egyik nevezetes esete. Ennek fényében kell megítélni a kontinuumsejtés sorsát....
...Valóban, Gödel 1940-ben igazolta, hogy a kontinuumsejtés nem cáfolható: van olyan halmazelméleti modell, amelyben a sejtés igaz....
...Gödel, Kurt (1906–1978), osztrák, majd amerikai, Bécs–Princeton....
...Az 1920-as években a halmaz- elmélet paradoxonjainak megoldását az ún. formalista megközelítésben kereste, azonban reményeit 1931-ben romba döntötte Gödel felfedezése az axiomatikus rendszerek teljességének hiányáról [12.5]....
...A matematikai logika fejlődésének új irányt adott Kurt Gödel (1906– 1978) nevezetes felfedezése (1931): minden, az aritmetikát is magában foglaló axiomatikus matematikai rendszerben szükségszerűen vannak el- dönthetetlen állítások....
...Érdekes, hogy a 12.4. sza- kaszban tárgyalt párhuzamossági axióma is a Gödel-tétel egyik nevezetes esete. Ennek fényében kell megítélni a kontinuumsejtés sorsát....
...Valóban, Gödel 1940-ben igazolta, hogy a kontinuumsejtés nem cáfolható: van olyan halmazelméleti modell, amelyben a sejtés igaz....
...Gödel, Kurt (1906–1978), osztrák, majd amerikai, Bécs–Princeton....
...Az 1920-as években a halmaz- elmélet paradoxonjainak megoldását az ún. formalista megközelítésben kereste, azonban reményeit 1931-ben romba döntötte Gödel felfedezése az axiomatikus rendszerek teljességének hiányáról [12.5]....
Találatok száma a kiadványban
körülbelül 4.
...Az 1. fejezetben filozófiai hangvétellel kezdődik, amelyet a Gödel-féle nemteljességi tétel zár le. A 2. fejezetben előkerül a gráfelmélet és a káoszelmélet is a biológiai diverzitásban....
...Talán a legjobb kifejezés az élet kialakulására Gödel IV. nemteljességi tétele, amely így szól: „Formulák bármely ....
...A Gödel-tétel szerint a matematika nem tud se a világ, se a matematika összes kérdésére megoldást találni. Ebből következően az élet kialakulásának lehetőségére sem....
...Irodalom Franzén, T. 2013: Gödel nemteljességi tételei. Értelmezések és félreértések. – Typotex Kiadó, 273 p. Mérő L. 2014: A csodák logikája. – Tercium Kiadó, 327 p. Taleb, N. N. 2012: A fekete hattyú. – Gondolat Kiadó, 523 p....
...Az 1. fejezetben filozófiai hangvétellel kezdődik, amelyet a Gödel-féle nemteljességi tétel zár le. A 2. fejezetben előkerül a gráfelmélet és a káoszelmélet is a biológiai diverzitásban....
...Talán a legjobb kifejezés az élet kialakulására Gödel IV. nemteljességi tétele, amely így szól: „Formulák bármely ....
...A Gödel-tétel szerint a matematika nem tud se a világ, se a matematika összes kérdésére megoldást találni. Ebből következően az élet kialakulásának lehetőségére sem....
...Irodalom Franzén, T. 2013: Gödel nemteljességi tételei. Értelmezések és félreértések. – Typotex Kiadó, 273 p. Mérő L. 2014: A csodák logikája. – Tercium Kiadó, 327 p. Taleb, N. N. 2012: A fekete hattyú. – Gondolat Kiadó, 523 p....
Találatok száma a kiadványban
körülbelül 7.
...Rendben van, Gödel kimutatta, lehetetlen, hogy egy matematikai formalizmus, amely rendelkezik az elemi aritmetika eszközeivel (ami igazán a minimum), tartalmazhassa önmaga konzisztenciájának bizonyítását....
...Gödel technikai megoldását némelyek a következőképpen értelmezték: a gondolkodás formalizáló hajlandósága sohasem teljesül maradéktalanul, következésképpen a század álmát, hogy egyértelmű hozzáférést teremthet a valósághoz, el kell vetni....
...Ne legyen kétségünk afelől, hogy ma is okos dolog gödeliánusnak lenni, ha meg akarjuk őrizni magunkban legalább az igazságok inhumanitását a partikularizmusok, a szükségletek, a profitok és a vak archaizmusok „humanitásával" szemben....
...A restauráció híveinek véleménye szerint mindez közömbös, nekünk azonban kötelező válaszolnunk 79 Bizonyára nem rossz dolog, ha a századnak ezt a futó vizsgálatát Gödel sarkalatos cikkének olvasásával zárjuk: „What is Cantor's Continuum Hypohesis?"...
...Újra mondom: az a tény, hogy ezeknek a szerzőknek elegük volt a „strukturalista" elmélkedésekből, még nem jelenti azt, hogy ma bárki azt képzelhetné, művelheti a filozófiát úgy is, hogy nem olvasta Cantor, Frege és Gödel kanonikus szövegeit....
...Rendben van, Gödel kimutatta, lehetetlen, hogy egy matematikai formalizmus, amely rendelkezik az elemi aritmetika eszközeivel (ami igazán a minimum), tartalmazhassa önmaga konzisztenciájának bizonyítását....
...Gödel technikai megoldását némelyek a következőképpen értelmezték: a gondolkodás formalizáló hajlandósága sohasem teljesül maradéktalanul, következésképpen a század álmát, hogy egyértelmű hozzáférést teremthet a valósághoz, el kell vetni....
...Ne legyen kétségünk afelől, hogy ma is okos dolog gödeliánusnak lenni, ha meg akarjuk őrizni magunkban legalább az igazságok inhumanitását a partikularizmusok, a szükségletek, a profitok és a vak archaizmusok „humanitásával" szemben....
...A restauráció híveinek véleménye szerint mindez közömbös, nekünk azonban kötelező válaszolnunk 79 Bizonyára nem rossz dolog, ha a századnak ezt a futó vizsgálatát Gödel sarkalatos cikkének olvasásával zárjuk: „What is Cantor's Continuum Hypohesis?"...
...Újra mondom: az a tény, hogy ezeknek a szerzőknek elegük volt a „strukturalista" elmélkedésekből, még nem jelenti azt, hogy ma bárki azt képzelhetné, művelheti a filozófiát úgy is, hogy nem olvasta Cantor, Frege és Gödel kanonikus szövegeit....
Találatok száma a kiadványban
körülbelül 7.
...A Neumann-féle axiómarendszernek is maradtak szépséghibái, de gondolatai az időközben - Bernays és Gödel munkája nyomán - kialakult axiómarendszerben alapul szolgálnak, pl. az a gondolata, hogy az axiómarendszer végesen axiomatizálható [10]....
...Neumann ebben az időben azt sejtette, hogy a matematikai analízis egészének konzisztenciáját be lehet bizonyítani. 1930-ban Kurt Gödel osztrák matematikus megmutatta, hogy ez nem lehetséges, mégpedig úgy, hogy alkotott egy olyan tételt, ami igaz, de amelynek...
...Neumannt nagyon meglepte Gödel eredménye, ettől kezdve Gödelt a logika legnagyobb művelőjének tartotta Arisztotelész óta. Egyszer ked- Neumann János 49 ves történetet mesélt magáról....
...A fent említett esetben azon fáradozott, hogy éppen az el-lenkezojét bizonyítsa be annak, amit végül Gödel kapott, de nem sikerült. Egyik éjjel aztán megálmodta, hogyan lehet az egyik felmerült nehézséggel megbirkózni....
...Erdős: Recollections on Kurt Gödel, Jahrb. Kurt-Gödel- Ges. 1988, 94-95. [28] P. Erdős: Some personal and mathematical reminiscences of Kurt Mahler, Aust. Math. Soc. Gaz., 16, No. 1, 1-2 (1989). [29] P....
...A Neumann-féle axiómarendszernek is maradtak szépséghibái, de gondolatai az időközben - Bernays és Gödel munkája nyomán - kialakult axiómarendszerben alapul szolgálnak, pl. az a gondolata, hogy az axiómarendszer végesen axiomatizálható [10]....
...Neumann ebben az időben azt sejtette, hogy a matematikai analízis egészének konzisztenciáját be lehet bizonyítani. 1930-ban Kurt Gödel osztrák matematikus megmutatta, hogy ez nem lehetséges, mégpedig úgy, hogy alkotott egy olyan tételt, ami igaz, de amelynek...
...Neumannt nagyon meglepte Gödel eredménye, ettől kezdve Gödelt a logika legnagyobb művelőjének tartotta Arisztotelész óta. Egyszer ked- Neumann János 49 ves történetet mesélt magáról....
...A fent említett esetben azon fáradozott, hogy éppen az el-lenkezojét bizonyítsa be annak, amit végül Gödel kapott, de nem sikerült. Egyik éjjel aztán megálmodta, hogyan lehet az egyik felmerült nehézséggel megbirkózni....
...Erdős: Recollections on Kurt Gödel, Jahrb. Kurt-Gödel- Ges. 1988, 94-95. [28] P. Erdős: Some personal and mathematical reminiscences of Kurt Mahler, Aust. Math. Soc. Gaz., 16, No. 1, 1-2 (1989). [29] P....
Találatok száma a kiadványban
körülbelül 7.
...A Neumann-féle axiómarendszernek is maradtak szépséghibái, de gondolatai az időközben - Bernays és Gödel munkája nyomán - kialakult axiómarendszerben alapul szolgálnak, pl. az a gondolata, hogy az axiómarendszer végesen axiomatizálható [10]....
...Neumann ebben az időben azt sejtette, hogy a matematikai analízis egészének konzisztenciáját be lehet bizonyítani. 1930-ban Kurt Gödel osztrák matematikus megmutatta, hogy ez nem lehetséges, mégpedig úgy, hogy alkotott egy olyan tételt, ami igaz, de amelynek...
...Neumannt nagyon meglepte Gödel eredménye, ettől kezdve Gödelt a logika legnagyobb művelőjének tartotta Arisztotelész óta. Egyszer ked- ves történetet mesélt magáról....
...A fent említett esetben azon fáradozott, hogy éppen az ellenkezőjét bizonyítsa be annak, amit végül Gödel kapott, de nem sikerült. Egyik éjjel aztán megálmodta, hogyan lehet az egyik felmerült nehézséggel megbirkózni....
...Erdős: Recollections on Kurt Gödel, Jahrb. Kurt-Gödel- Ges. 1988, 94-95. [28] P. Erdős: Some personal and mathematical reminiscences of Kurt Mahler, Aust. Math. Soc. Gaz, 16, No. 1, 1-2 (1989). [29] P....
...A Neumann-féle axiómarendszernek is maradtak szépséghibái, de gondolatai az időközben - Bernays és Gödel munkája nyomán - kialakult axiómarendszerben alapul szolgálnak, pl. az a gondolata, hogy az axiómarendszer végesen axiomatizálható [10]....
...Neumann ebben az időben azt sejtette, hogy a matematikai analízis egészének konzisztenciáját be lehet bizonyítani. 1930-ban Kurt Gödel osztrák matematikus megmutatta, hogy ez nem lehetséges, mégpedig úgy, hogy alkotott egy olyan tételt, ami igaz, de amelynek...
...Neumannt nagyon meglepte Gödel eredménye, ettől kezdve Gödelt a logika legnagyobb művelőjének tartotta Arisztotelész óta. Egyszer ked- ves történetet mesélt magáról....
...A fent említett esetben azon fáradozott, hogy éppen az ellenkezőjét bizonyítsa be annak, amit végül Gödel kapott, de nem sikerült. Egyik éjjel aztán megálmodta, hogyan lehet az egyik felmerült nehézséggel megbirkózni....
...Erdős: Recollections on Kurt Gödel, Jahrb. Kurt-Gödel- Ges. 1988, 94-95. [28] P. Erdős: Some personal and mathematical reminiscences of Kurt Mahler, Aust. Math. Soc. Gaz, 16, No. 1, 1-2 (1989). [29] P....