"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 44.
...Vagyis (ha jól tudom) egy kétszeresen gödeli sziget nem szükségszerűen gödeli sziget. A kétszeresen gödeli szigetek témaköre egyik kedvenc té- mám....
...Az idetartozó rejtvények olyasfajta kapcsolatban van- nak Jourdain kettős kártyaparadoxonával, mint amilyenben a gödeli szigetek rejtvényei a hazudós paradoxonnal. 266. A kétszeresen gödeli S sziget....
...Kigondoltam néhány olyan feladatot a gödeli és a kétszeresen gödeli szigetekről, amelyeket nem próbáltam megoldani, mert úgy gondoltam, szórakoztató lehet az Olvasónak megpróbálkoznia saját, ere- deti munkával. 268 a....
...A feladat nem más, mint a gödeli szigetek rejt- vényei az A részben, más köntösben....
...Megjegyezném, hogy az, ahogy én leírtam Gödel eljárá- sát, némileg különbözik Gödel eredetijétől – elsősorban ab- ban, hogy én használtam az „igazság” fogalmát, Gödel pedig nem....
...Vagyis (ha jól tudom) egy kétszeresen gödeli sziget nem szükségszerűen gödeli sziget. A kétszeresen gödeli szigetek témaköre egyik kedvenc té- mám....
...Az idetartozó rejtvények olyasfajta kapcsolatban van- nak Jourdain kettős kártyaparadoxonával, mint amilyenben a gödeli szigetek rejtvényei a hazudós paradoxonnal. 266. A kétszeresen gödeli S sziget....
...Kigondoltam néhány olyan feladatot a gödeli és a kétszeresen gödeli szigetekről, amelyeket nem próbáltam megoldani, mert úgy gondoltam, szórakoztató lehet az Olvasónak megpróbálkoznia saját, ere- deti munkával. 268 a....
...A feladat nem más, mint a gödeli szigetek rejt- vényei az A részben, más köntösben....
...Megjegyezném, hogy az, ahogy én leírtam Gödel eljárá- sát, némileg különbözik Gödel eredetijétől – elsősorban ab- ban, hogy én használtam az „igazság” fogalmát, Gödel pedig nem....
Találatok száma a kiadványban
körülbelül 32.
...Ebben a kutatásban élen járt Kurt Gödel, Gödel, Kurt} akinek ilyen irányú munkássága a 20. század húszas--harmincas éveire esett....
...Gödel bebizonyította, hogy a következmény }szemantikai fogalma egybeesik a (teljesen más eszközökkel definiált) levezethetőség}fogalommal: [ Gödel teljességi tétele] Gödel!...
...Gödel I. inkomplettségi tétele az aritmetikára vonatkozik és a következőt állítja: [ Gödel I. inkomplettségi tétele] Gödel!...
...[ Gödel II. inkomplettségi tétele] Gödel!II. inkomplettségi tétele} Legyen sigma egy pi -t tartalmazó, ellentmondástalan elmélet....
...Hilbert elgondolását néhány évtizeddel késöbb Gödel Gödel, Kurt} cáfolta nemteljességi tételével, majd Church, Church, Alonzo} eldönthetőségi tételeivel....
...Ebben a kutatásban élen járt Kurt Gödel, Gödel, Kurt} akinek ilyen irányú munkássága a 20. század húszas--harmincas éveire esett....
...Gödel bebizonyította, hogy a következmény }szemantikai fogalma egybeesik a (teljesen más eszközökkel definiált) levezethetőség}fogalommal: [ Gödel teljességi tétele] Gödel!...
...Gödel I. inkomplettségi tétele az aritmetikára vonatkozik és a következőt állítja: [ Gödel I. inkomplettségi tétele] Gödel!...
...[ Gödel II. inkomplettségi tétele] Gödel!II. inkomplettségi tétele} Legyen sigma egy pi -t tartalmazó, ellentmondástalan elmélet....
...Hilbert elgondolását néhány évtizeddel késöbb Gödel Gödel, Kurt} cáfolta nemteljességi tételével, majd Church, Church, Alonzo} eldönthetőségi tételeivel....
Találatok száma a kiadványban
körülbelül 55.
...Boolos háromoldalas bizonyítása Gödel nemteljességi tételére....
...Kurt Gödel és Paul J. Cohen bebizonyította, hogy a halmazelmélet Zermelo-Fraenkel-féle axiómái alapján a kontinuumhipotézist sem cáfolni (Gödel, 1937), sem bizonyítani (Cohen, 1964) nem lehet....
...Néhány évvel később Gödel bebizonyította, hogy a konzisztencia soha nem bebizonyítható a Hilbert által megengedett bizonyítási módszerekkel. Gödel nem-teljességi tétele megmutatta, hogy Hilbert programja reménytelen....
...Gödel, K. "What Is Cantor's Continuum problem?" In P. Benacerraf and H. Putnam, eds., (c) Reuben Hersh (c) Typotex Kiadó 361 1988. Gödel, K. Collected Works, Vol. III. New York: Oxford University Press, 1995. Gödel, K....
..."Imagined Discussions with Gödel and with Wittgenstein." In Yearbook of the Kurt Gödel Society. Vienna: Kurt Gödel Society, 1992. Wang, H. "Proving Theorems by Pattern Recognition."...
...Boolos háromoldalas bizonyítása Gödel nemteljességi tételére....
...Kurt Gödel és Paul J. Cohen bebizonyította, hogy a halmazelmélet Zermelo-Fraenkel-féle axiómái alapján a kontinuumhipotézist sem cáfolni (Gödel, 1937), sem bizonyítani (Cohen, 1964) nem lehet....
...Néhány évvel később Gödel bebizonyította, hogy a konzisztencia soha nem bebizonyítható a Hilbert által megengedett bizonyítási módszerekkel. Gödel nem-teljességi tétele megmutatta, hogy Hilbert programja reménytelen....
...Gödel, K. "What Is Cantor's Continuum problem?" In P. Benacerraf and H. Putnam, eds., (c) Reuben Hersh (c) Typotex Kiadó 361 1988. Gödel, K. Collected Works, Vol. III. New York: Oxford University Press, 1995. Gödel, K....
..."Imagined Discussions with Gödel and with Wittgenstein." In Yearbook of the Kurt Gödel Society. Vienna: Kurt Gödel Society, 1992. Wang, H. "Proving Theorems by Pattern Recognition."...
Találatok száma a kiadványban
körülbelül 51.
...Gödelhez, W. H. Gottschalkhoz és H. Rademacherhez 137 3....
...A Rudolf Carnaphoz intézett 1931-es levél elsősorban Gödel nézeteit értelmezi, és természetesen hasonló tartalmú a Kurt Gödelnek 1930 és 33 között írt négy levele is....
...LEVELEK CARNApHOZ, GÖDELHEZ, GOTTSCHALKHOZ, RADEMACHERHEZ | 139 Levelek K. Gödelhez1 Berlin, Hohenzollernstrasse 23. (Tiergarten) 1930. november 20. Kedves Gödel úr!...
...Kedves Gödel úr!...
...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....
...Gödelhez, W. H. Gottschalkhoz és H. Rademacherhez 137 3....
...A Rudolf Carnaphoz intézett 1931-es levél elsősorban Gödel nézeteit értelmezi, és természetesen hasonló tartalmú a Kurt Gödelnek 1930 és 33 között írt négy levele is....
...LEVELEK CARNApHOZ, GÖDELHEZ, GOTTSCHALKHOZ, RADEMACHERHEZ | 139 Levelek K. Gödelhez1 Berlin, Hohenzollernstrasse 23. (Tiergarten) 1930. november 20. Kedves Gödel úr!...
...Kedves Gödel úr!...
...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....
Találatok száma a kiadványban
körülbelül 17.
...Az évszázad meglepetése volt, amikor 1931-ben a bécsi Kurt Gödel „nemteljességi tételével" halálos csapást mért Hilbert víziójára. Hilbert tévedése mégis rendkívül gyümölcsözőnek bizonyult....
...Gödel eredeti dolgozatában olyan struktúrák szerepeltek, amelyeket manapság formális programozási nyelvként interpretálha-tunk.53 Neumann János, a kor másik híres matematikusa (és a modern játékelmélet megalapítója), azonnal felismerte Gödel eredményének...
...Gödel érvelését átgondolva Turing olyan problémára bukkant, amelyet egyetlen Turing-gép sem tud megoldani: az úgynevezett leállási problémát....
...A következmények ugyanabba az irányba mutatnak, mint a Gödel-dolgozat esetében. Turingnak egyébként sikerült jelentősen általánosítania Gödel állítását....
...Gödel munkájához hasonlóan Turing munkája is tartalmaz egy struktúrát, amelyet ma programozási nyelvnek neveznénk....
...Az évszázad meglepetése volt, amikor 1931-ben a bécsi Kurt Gödel „nemteljességi tételével" halálos csapást mért Hilbert víziójára. Hilbert tévedése mégis rendkívül gyümölcsözőnek bizonyult....
...Gödel eredeti dolgozatában olyan struktúrák szerepeltek, amelyeket manapság formális programozási nyelvként interpretálha-tunk.53 Neumann János, a kor másik híres matematikusa (és a modern játékelmélet megalapítója), azonnal felismerte Gödel eredményének...
...Gödel érvelését átgondolva Turing olyan problémára bukkant, amelyet egyetlen Turing-gép sem tud megoldani: az úgynevezett leállási problémát....
...A következmények ugyanabba az irányba mutatnak, mint a Gödel-dolgozat esetében. Turingnak egyébként sikerült jelentősen általánosítania Gödel állítását....
...Gödel munkájához hasonlóan Turing munkája is tartalmaz egy struktúrát, amelyet ma programozási nyelvnek neveznénk....
Találatok száma a kiadványban
körülbelül 19.
...Gödel nemteljességi tételei: értelmezések és félreértések (2017. június, Könyvespolc – ajánló) Történt egyszer, a városi legenda szerint, hogy Esterházy Péter a megjelenése után erősen dicsérte Raymond Smullyan, Gödel nemteljességi tételei című könyvét...
...Az ilyen Raymond Smullyan, Gödel nemteljességi tételei, TypoTeX, ford.: Csaba Ferenc, (1999), 2005 https://www.typotex.hu/book/196/raymond_smullyan_godel_nemteljessegi_tetelei Gödel első nemteljességi tétele azt mondja, ki, hogy a formális-axiomatikus...
...A könyvnek van egy nagyon figyelemre méltó része, mely a Gödel-tétel és az algoritmusok, a kiszámíthatóság kapcsolatát vizsgálja....
...Osiris, Bp. 2003. [2] Raymond Smullyan, Gödel nemteljességi tételei, TYPOTeX, ford.: Csaba Ferenc, (1999), 2005 [3] Michael Dummett, The philosophical significance of Gödel’s theorem, Ratio 5, 140–155. (1963), Reprinted in M....
...Dummett: Truth and Other Enigmas, Duckworth, London, 1978, 186–201., p. 186. [4] Gödel, Kurt, On Formally Undecidable Propositions of Principia Mathema- tica and Related Systems, in From Frege to Gödel: A Source Book in Ma- thematical Logic, 1879–1931...
...Gödel nemteljességi tételei: értelmezések és félreértések (2017. június, Könyvespolc – ajánló) Történt egyszer, a városi legenda szerint, hogy Esterházy Péter a megjelenése után erősen dicsérte Raymond Smullyan, Gödel nemteljességi tételei című könyvét...
...Az ilyen Raymond Smullyan, Gödel nemteljességi tételei, TypoTeX, ford.: Csaba Ferenc, (1999), 2005 https://www.typotex.hu/book/196/raymond_smullyan_godel_nemteljessegi_tetelei Gödel első nemteljességi tétele azt mondja, ki, hogy a formális-axiomatikus...
...A könyvnek van egy nagyon figyelemre méltó része, mely a Gödel-tétel és az algoritmusok, a kiszámíthatóság kapcsolatát vizsgálja....
...Osiris, Bp. 2003. [2] Raymond Smullyan, Gödel nemteljességi tételei, TYPOTeX, ford.: Csaba Ferenc, (1999), 2005 [3] Michael Dummett, The philosophical significance of Gödel’s theorem, Ratio 5, 140–155. (1963), Reprinted in M....
...Dummett: Truth and Other Enigmas, Duckworth, London, 1978, 186–201., p. 186. [4] Gödel, Kurt, On Formally Undecidable Propositions of Principia Mathema- tica and Related Systems, in From Frege to Gödel: A Source Book in Ma- thematical Logic, 1879–1931...
Találatok száma a kiadványban
körülbelül 32.
...Ezt a témakört 1938-ban mélyrehatóan megvilágította Kurt Gödel, aki leginkább az 1930-193l-es "nemteljességi" tételéről ismert. Mi itt Gödel későbbi munkájára hivatkozunk, amelyik a nem matematikusok számára kevésbé ismert....
...Gödel 1938-ban a következő alapvető fontosságú eredményt bizonyította be: Ha a leszűkített halmazelmélet konzisztens, Kurt Gödel 1906-1978 akkor a standard halmazelmélet is az....
...Nevezzük ezt a modellt M-nek; ez Gödel konstruálható halmazosztályának felel meg....
...René Thornjés Kurt Gödel két, lelke mélyéig platonista tudós....
...Thom ideáinak világa geometriai, míg Gödelé halmazelméleti univerzum....
...Ezt a témakört 1938-ban mélyrehatóan megvilágította Kurt Gödel, aki leginkább az 1930-193l-es "nemteljességi" tételéről ismert. Mi itt Gödel későbbi munkájára hivatkozunk, amelyik a nem matematikusok számára kevésbé ismert....
...Gödel 1938-ban a következő alapvető fontosságú eredményt bizonyította be: Ha a leszűkített halmazelmélet konzisztens, Kurt Gödel 1906-1978 akkor a standard halmazelmélet is az....
...Nevezzük ezt a modellt M-nek; ez Gödel konstruálható halmazosztályának felel meg....
...René Thornjés Kurt Gödel két, lelke mélyéig platonista tudós....
...Thom ideáinak világa geometriai, míg Gödelé halmazelméleti univerzum....
Találatok száma a kiadványban
körülbelül 35.
...Úgy vélem, hogy amikor intencionális alapállást veszünk fel az evolúcióval szemben, és metaforikusan mint Természetanyára tekintünk rá, gödeli tükreivé leszünk....
...Mémek az intencionalitás medrében Fénysebességgel az infoszférában Kapitány alkotása tehát az egymással szimbiózisba lépő mém-paraziták kulturális evolúciójának gödeli tükre....
...A mű rövid elemzése során már szó volt róla, hogy az evolúció gödeli tükrei, tehát a származtatott intencionalitással 150 (c) Kampis György, Ropolyi László (szerk.)...
...Az evolúció gödeli tükre (Befejezés) A középkori ember úgy tekintett önmagára (és a világmindenség többi teremtményére), mint egy tükörre, amely földi és természetfeletti sorsát tükrözi....
...Az evolúciós rendszer gödeli tükre az intencionális hozzáállást a mérnöki tervezés során sikeresen felhasználó ember és az általa használt szimbólumrendszer....
...Úgy vélem, hogy amikor intencionális alapállást veszünk fel az evolúcióval szemben, és metaforikusan mint Természetanyára tekintünk rá, gödeli tükreivé leszünk....
...Mémek az intencionalitás medrében Fénysebességgel az infoszférában Kapitány alkotása tehát az egymással szimbiózisba lépő mém-paraziták kulturális evolúciójának gödeli tükre....
...A mű rövid elemzése során már szó volt róla, hogy az evolúció gödeli tükrei, tehát a származtatott intencionalitással 150 (c) Kampis György, Ropolyi László (szerk.)...
...Az evolúció gödeli tükre (Befejezés) A középkori ember úgy tekintett önmagára (és a világmindenség többi teremtményére), mint egy tükörre, amely földi és természetfeletti sorsát tükrözi....
...Az evolúciós rendszer gödeli tükre az intencionális hozzáállást a mérnöki tervezés során sikeresen felhasználó ember és az általa használt szimbólumrendszer....