"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 367.
...Két példát hoz erre Gödel....
...[Gödel 1931]{Gödel 1931 Gödel, Kurt....
...[Gödel 1958]{Gödel 1958 Gödel, Kurt: On a hitherto unutilized extension of the finitary standpoint, in: Kurt Gödel Collected works, Volume II. Edited by Solomon Feferman et al., Oxford University Press, 1995....
...Gödel első nemteljességi tétele {A Gödel-mondat A Gödel-mondat ( én nem vagyok bizonyítható'') Gödel-száma a következő formában jelenik meg {Godel:1931, Godel:1931:1992 [Gödel 1931a, b]: ahol x ; Gen ;y a Gödel által definiált formula-manipuláló...
...[Gödel 193?]{GödelIII Gödel, K. 193?: Undecidable Diophantine Propositions. In: Collected Works III. 1995, Oxford University Press....
...Két példát hoz erre Gödel....
...[Gödel 1931]{Gödel 1931 Gödel, Kurt....
...[Gödel 1958]{Gödel 1958 Gödel, Kurt: On a hitherto unutilized extension of the finitary standpoint, in: Kurt Gödel Collected works, Volume II. Edited by Solomon Feferman et al., Oxford University Press, 1995....
...Gödel első nemteljességi tétele {A Gödel-mondat A Gödel-mondat ( én nem vagyok bizonyítható'') Gödel-száma a következő formában jelenik meg {Godel:1931, Godel:1931:1992 [Gödel 1931a, b]: ahol x ; Gen ;y a Gödel által definiált formula-manipuláló...
...[Gödel 193?]{GödelIII Gödel, K. 193?: Undecidable Diophantine Propositions. In: Collected Works III. 1995, Oxford University Press....
Találatok száma a kiadványban
körülbelül 412.
...akkor,ha n azSegyetlentételének semGödel száma, ahol n magának a G mondatnak aGödel-száma....
...Gödel bizonyítása valóban azon fordul csak meg, hogy a G Gödel-mondat a „nem egy S-ben bizonyítható mondat Gödel-száma” tulajdonság .xpontja....
...eleve egy Gödel-számozástól függ....
..., mint az önreferenciális Gödelmondat....
...–vagybárminek –aGödel-számalenne....
...akkor,ha n azSegyetlentételének semGödel száma, ahol n magának a G mondatnak aGödel-száma....
...Gödel bizonyítása valóban azon fordul csak meg, hogy a G Gödel-mondat a „nem egy S-ben bizonyítható mondat Gödel-száma” tulajdonság .xpontja....
...eleve egy Gödel-számozástól függ....
..., mint az önreferenciális Gödelmondat....
...–vagybárminek –aGödel-számalenne....
Találatok száma a kiadványban
körülbelül 144.
...Gödel szám- és technikafelfogása; a nyelv a metaforikus és szerszámosító funkció poláris egysége. 21. A gödeli én korlátja. Befejezés. Utószó: Gödel és Hofstadter: szembesítés. (Kritikai megjegyzések D....
...Az elsőnél még részben együtt haladt, a másodiknál már éles ellentétbe került egymással a szkeptikus és a gödeli értelmezés....
...Szabó Lajos Gödel-értelmezése a legszélesebb sor....
...Gödel és Anselmus Gödel teljességi tétele: a matematikai alapkutatás az anselmusi istenérv folytonos igazolása....
...Gödel is így látta. Nem is állt meg itt....
...Gödel szám- és technikafelfogása; a nyelv a metaforikus és szerszámosító funkció poláris egysége. 21. A gödeli én korlátja. Befejezés. Utószó: Gödel és Hofstadter: szembesítés. (Kritikai megjegyzések D....
...Az elsőnél még részben együtt haladt, a másodiknál már éles ellentétbe került egymással a szkeptikus és a gödeli értelmezés....
...Szabó Lajos Gödel-értelmezése a legszélesebb sor....
...Gödel és Anselmus Gödel teljességi tétele: a matematikai alapkutatás az anselmusi istenérv folytonos igazolása....
...Gödel is így látta. Nem is állt meg itt....
Találatok száma a kiadványban
körülbelül 91.
...Keressen az A100 halmazhoz tartozó gödeli mondatot! 150. Tegyük fel, hogy egy rendszer gödeli (ehhez nem feltétlenül kell kielégítenie a G3 feltételt)....
...Legyen T az igaz mondatok Gödel-számainak halmaza.Van-e T-hez tartozó gödeli mondat? Van-e T-hez, azaz T komple- menteréhez tartozó gödeli mondat? Elérkezett az ideje, hogy válaszoljunk Tarski kérdéseire....
...Ekkor viszont, mivel a rendszer gödeli, tartozik egy X gödeli mondat a B-hez. Ez azt jelenti, hogy X akkor és csak akkor igaz, ha X Gödel-száma benne van B-ben....
...Valójában Gödel gondolatmenetének lényege egy B-hez tartozó gödeli mondat szerkesztése. 151. Minden X mondat nyilvánvalóan gödeli a T halmazon, hiszen ha X igaz, akkor a Gödel-száma T-ben van, ha pedig hamis, akkor a Gödel-száma nincs benne T-ben....
...A 148. feladat szerint a rendszer minden megnevezhető halma- zához tartozik gödeli mondat, az előző feladat szerint a T hal- mazhoz viszont nem tartozik gödeli mondat....
...Keressen az A100 halmazhoz tartozó gödeli mondatot! 150. Tegyük fel, hogy egy rendszer gödeli (ehhez nem feltétlenül kell kielégítenie a G3 feltételt)....
...Legyen T az igaz mondatok Gödel-számainak halmaza.Van-e T-hez tartozó gödeli mondat? Van-e T-hez, azaz T komple- menteréhez tartozó gödeli mondat? Elérkezett az ideje, hogy válaszoljunk Tarski kérdéseire....
...Ekkor viszont, mivel a rendszer gödeli, tartozik egy X gödeli mondat a B-hez. Ez azt jelenti, hogy X akkor és csak akkor igaz, ha X Gödel-száma benne van B-ben....
...Valójában Gödel gondolatmenetének lényege egy B-hez tartozó gödeli mondat szerkesztése. 151. Minden X mondat nyilvánvalóan gödeli a T halmazon, hiszen ha X igaz, akkor a Gödel-száma T-ben van, ha pedig hamis, akkor a Gödel-száma nincs benne T-ben....
...A 148. feladat szerint a rendszer minden megnevezhető halma- zához tartozik gödeli mondat, az előző feladat szerint a T hal- mazhoz viszont nem tartozik gödeli mondat....
Találatok száma a kiadványban
körülbelül 168.
...Az első példa Gödel tétele....
...kifejezésből az Gödel-számú jel helyébe a Gödel-számú kifejezés helyettesítésével keletkező kifejezés kitevői....
...Ha vagy 1 aszerint, hogy az -edik jel (pl. szummaindexnek használható) változó-e, vagy nem, vagy 1 aszerint, hogy az Gödel-számú sorozat kifejezés-e vagy sem, pedig a Gödel-számú sorozatból az l Gödel-számú jel helyébe az Gödel-számú sorozat...
...Eszerint a és Gödel-számú sorozatoknak akkor és csak akkor következménye a helyettesítési szabály értelmében az Gödel-számú sorozat, ha van oly változó (Gödel-száma, , legfeljebb ) és oly kifejezés (Gödel-száma, , legfeljebb , mert az Gödel-számú...
...A Gödel-számú sorozatban az Gödel-számú jel helyébe az Gödel-számú sorozatot helyettesíteni úgy kell, hogy a Gödel-számú sorozatnak az -edik jelét (ahol megy -től -ig) meghagyom vagy az Gödel-számú sorozattal pótolom aszerint, hogy vagy 1...
...Az első példa Gödel tétele....
...kifejezésből az Gödel-számú jel helyébe a Gödel-számú kifejezés helyettesítésével keletkező kifejezés kitevői....
...Ha vagy 1 aszerint, hogy az -edik jel (pl. szummaindexnek használható) változó-e, vagy nem, vagy 1 aszerint, hogy az Gödel-számú sorozat kifejezés-e vagy sem, pedig a Gödel-számú sorozatból az l Gödel-számú jel helyébe az Gödel-számú sorozat...
...Eszerint a és Gödel-számú sorozatoknak akkor és csak akkor következménye a helyettesítési szabály értelmében az Gödel-számú sorozat, ha van oly változó (Gödel-száma, , legfeljebb ) és oly kifejezés (Gödel-száma, , legfeljebb , mert az Gödel-számú...
...A Gödel-számú sorozatban az Gödel-számú jel helyébe az Gödel-számú sorozatot helyettesíteni úgy kell, hogy a Gödel-számú sorozatnak az -edik jelét (ahol megy -től -ig) meghagyom vagy az Gödel-számú sorozattal pótolom aszerint, hogy vagy 1...
Találatok száma a kiadványban
körülbelül 71.
...A Gödel-tétel az ördögi körök legeslegnagyobb diadala. Gödel 1930 októberében, a Königsberg észak-német városkában rendezett konferencia zárónapján ismertette felfedezését....
...Gödel paradoxonja Gödel tételének bizonyítása – mert lényegében az egész mögött ugyanaz a bizonyítás áll –, egy paradoxonon alapul....
...Az elsőből származott Gödel alapötlete, a másodikból pedig a formulák számozásának gondolata, amellyel hamarosan találkozunk. Gödel azonban nem csak meglevő paradoxonokat használt fel....
...Hallgatói közt volt Alan Turing (1912–1954), szépreményű fiatal matematikus is, aki erősen vonzódott a mechanikához, így különösen izgatta a gödeli elmélet algoritmusokkal foglalkozó oldala....
...Gödel paradoxonja miért nem vezet matematikai ellentmondásra? Gödel paradoxonja, akárcsak az összes többi, némi csaláson alapul....
...A Gödel-tétel az ördögi körök legeslegnagyobb diadala. Gödel 1930 októberében, a Königsberg észak-német városkában rendezett konferencia zárónapján ismertette felfedezését....
...Gödel paradoxonja Gödel tételének bizonyítása – mert lényegében az egész mögött ugyanaz a bizonyítás áll –, egy paradoxonon alapul....
...Az elsőből származott Gödel alapötlete, a másodikból pedig a formulák számozásának gondolata, amellyel hamarosan találkozunk. Gödel azonban nem csak meglevő paradoxonokat használt fel....
...Hallgatói közt volt Alan Turing (1912–1954), szépreményű fiatal matematikus is, aki erősen vonzódott a mechanikához, így különösen izgatta a gödeli elmélet algoritmusokkal foglalkozó oldala....
...Gödel paradoxonja miért nem vezet matematikai ellentmondásra? Gödel paradoxonja, akárcsak az összes többi, némi csaláson alapul....
Találatok száma a kiadványban
körülbelül 121.
...Gödelt mindenekfelett foglalkoztatta az idő természete; ahogy egy barátjának mondta, AmIkor EINsTEIN göDEllEl séTálT · 15 számára ez volt a filozófiai kérdés....
...Úgy tűnt, Gödel tételei összezúzták a tökéletes tudásnak ezt az eszményét. Gödel mindezt egészen másképp látta....
...Ennek fő inspirálója azosztrák születésű Kurt Gödel logikatudós volt....
...Amikor megérkeztek a bíróságra, Phillip Forman bírót lenyűgöztékGödel kiváló tanúi, és meghívta a triót a dolgozószobájába. Némifelületes csevegést követően azt mondta Gödelnek: „Eddig németállampolgár volt.” Nem, javította ki Gödel, osztrák....
...Mondtam: »Gödel professzor, milyen kapcsolat van azÖn nemteljességi tétele és Heisenberg bizonytalansági relációjaközött?« Gödel dühös lett, és kidobott az irodájából.”...
...Gödelt mindenekfelett foglalkoztatta az idő természete; ahogy egy barátjának mondta, AmIkor EINsTEIN göDEllEl séTálT · 15 számára ez volt a filozófiai kérdés....
...Úgy tűnt, Gödel tételei összezúzták a tökéletes tudásnak ezt az eszményét. Gödel mindezt egészen másképp látta....
...Ennek fő inspirálója azosztrák születésű Kurt Gödel logikatudós volt....
...Amikor megérkeztek a bíróságra, Phillip Forman bírót lenyűgöztékGödel kiváló tanúi, és meghívta a triót a dolgozószobájába. Némifelületes csevegést követően azt mondta Gödelnek: „Eddig németállampolgár volt.” Nem, javította ki Gödel, osztrák....
...Mondtam: »Gödel professzor, milyen kapcsolat van azÖn nemteljességi tétele és Heisenberg bizonytalansági relációjaközött?« Gödel dühös lett, és kidobott az irodájából.”...
Találatok száma a kiadványban
körülbelül 91.
...GödelRussell , 213.o....
...GödelCantor , 521.o. A ,,valószínű'' szó GödelCantor2 -ban szerepel....
...GödelCantor2 , 264.o., vö. GödelCantor , 520.o.)...
...Gödel 1931 GödelDiskussion Gödel, K.: ,,Diskussion zur Grundlegung der Mathematik'', Erkenntnis 2, 147-148.o....
...Gödel 1944 GödelRussell Gödel, K.: ,,Russell's Mathematical Logic'', in: SchilppRussell , 125-153.o. Újranyomva in: BenacPut , 447-469.o. Gödel 1947 GödelCantor Gödel, K.: ,,What is Cantor's Continuum Hypothesis?''...
...GödelRussell , 213.o....
...GödelCantor , 521.o. A ,,valószínű'' szó GödelCantor2 -ban szerepel....
...GödelCantor2 , 264.o., vö. GödelCantor , 520.o.)...
...Gödel 1931 GödelDiskussion Gödel, K.: ,,Diskussion zur Grundlegung der Mathematik'', Erkenntnis 2, 147-148.o....
...Gödel 1944 GödelRussell Gödel, K.: ,,Russell's Mathematical Logic'', in: SchilppRussell , 125-153.o. Újranyomva in: BenacPut , 447-469.o. Gödel 1947 GödelCantor Gödel, K.: ,,What is Cantor's Continuum Hypothesis?''...