Találatok a szövegben — relevancia szerinti sorrendben (80)
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.
Tovább
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....