"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 3.
...Kurt Gödel osztrák születésű matematikus mindössze 25 évesen, 1931-ben publikált egy olyan állítást, amely alapjaiban rendítette meg a matematika axiomatikus felépítése iránti törekvéseket....
...Csak hát az a baj, hogy Gödel szerint mindezek után is felbukkannak majd újabb renitens állítások, amelyek szintén nem lesznek igazolhatók vagy cáfolhatók....
...Gödel 1940-ben bebizonyította, hogy a kontinuumhipotézis a halmazelmélet axiómarendszerén belül nem cáfolható, míg 1963-ban Paul Cohen igazolta, hogy az állítás nem is bizonyítható....
...Kurt Gödel osztrák születésű matematikus mindössze 25 évesen, 1931-ben publikált egy olyan állítást, amely alapjaiban rendítette meg a matematika axiomatikus felépítése iránti törekvéseket....
...Csak hát az a baj, hogy Gödel szerint mindezek után is felbukkannak majd újabb renitens állítások, amelyek szintén nem lesznek igazolhatók vagy cáfolhatók....
...Gödel 1940-ben bebizonyította, hogy a kontinuumhipotézis a halmazelmélet axiómarendszerén belül nem cáfolható, míg 1963-ban Paul Cohen igazolta, hogy az állítás nem is bizonyítható....
Találatok száma a kiadványban
körülbelül 10.
...This so-called Second Incompleteness Theorem of Gödel is beyond our scope. 2. Historically, Gödel's theorems preceded the notion of computability by 3-4 years....
...Gödel proved in 1930 proof of the Principia Mathematica type for it....
...Theorem 2.3.3 (Gödel's completeness theorem)....
...It does not say that B ) 8xB is For the system above, the following stronger form of Gödel's completeness theorem holds. Theorem 2.3.4....
...Our proof of Gödel's theorem does not seem to give a specic sentence 'T undecidable for a given minimally adequate theory T....
...This so-called Second Incompleteness Theorem of Gödel is beyond our scope. 2. Historically, Gödel's theorems preceded the notion of computability by 3-4 years....
...Gödel proved in 1930 proof of the Principia Mathematica type for it....
...Theorem 2.3.3 (Gödel's completeness theorem)....
...It does not say that B ) 8xB is For the system above, the following stronger form of Gödel's completeness theorem holds. Theorem 2.3.4....
...Our proof of Gödel's theorem does not seem to give a specic sentence 'T undecidable for a given minimally adequate theory T....
Találatok száma a kiadványban
körülbelül 3.
...És ez csak egy a jövo ködébe veszo eljárások, informatikai áramlatok közül, amelyek a Sargasso-tenger felé tartanak, bár ezt szerencsésebb lenne gödelóceánnak nevezni. 5....
...A nyelvnek, vagyis inkább minden nyelvnek, amit csak használnak az emberek, pont azért többértelmu, többféleképpen értelmezheto, „elkenheto” a kontextuális és konnotációs természete, mert ezzel a trükkel kerüli el azokat a csapdákat, amelyeket gödel...
...Az azonos jelenségek nem azonos lenyomatot hagynak a nyelvi leírásokban, gödel levezetése pedig, a megdönthetetlen bizonyítás a legbiztosabb kozmikus állandó az összes nyelv (a szignalizációnál magasabb rendu átvitel eszközei) között az egész univerzumban...
...És ez csak egy a jövo ködébe veszo eljárások, informatikai áramlatok közül, amelyek a Sargasso-tenger felé tartanak, bár ezt szerencsésebb lenne gödelóceánnak nevezni. 5....
...A nyelvnek, vagyis inkább minden nyelvnek, amit csak használnak az emberek, pont azért többértelmu, többféleképpen értelmezheto, „elkenheto” a kontextuális és konnotációs természete, mert ezzel a trükkel kerüli el azokat a csapdákat, amelyeket gödel...
...Az azonos jelenségek nem azonos lenyomatot hagynak a nyelvi leírásokban, gödel levezetése pedig, a megdönthetetlen bizonyítás a legbiztosabb kozmikus állandó az összes nyelv (a szignalizációnál magasabb rendu átvitel eszközei) között az egész univerzumban...
Találatok száma a kiadványban
körülbelül 2.
...Az 1930-as években Gödel osztrák matematikus megdöbbentő eredményt hozott nyilvánosságra....
...Gödel eredménye azonban nem jelenti azt, hogy az axiomatikus módszer csődöt mondott volna, hanem csupán azt, hogy a matematika egyes fejezetei - speciálisan most a geometriáról van szó - olyan végtelen területet ölelnek át, amelyet nem lehet néhány axiómával...
...Az 1930-as években Gödel osztrák matematikus megdöbbentő eredményt hozott nyilvánosságra....
...Gödel eredménye azonban nem jelenti azt, hogy az axiomatikus módszer csődöt mondott volna, hanem csupán azt, hogy a matematika egyes fejezetei - speciálisan most a geometriáról van szó - olyan végtelen területet ölelnek át, amelyet nem lehet néhány axiómával...
Találatok száma a kiadványban
körülbelül 3.
...esetben könnyű meghatározni, hogy matematikai feladatról vagy a matematika filozófiáját érintő problémáról van szó – néhány igen fundamentális fejezet esetében nem adható megnyugtató válasz a besorolás kérdésére (minden bizonnyal ilyennek tekinthető Gödel...
...preszupponálnak, például a reprezentáció jelentését vagy tárgyát).6 Szemiotikai szempontból tehát szerencsésebb a for 4 A formalista reményeknek – legalábbis azon fundamentális értelemben, ahogyan azokat Hil-bert és követői értették – sokak szerint Gödel...
...Hofstadter, Douglas R.: Gödel, Escher, Bach. Egybefont gondolatok birodalma. Metaforikus fúga tudatra és gépekre, Lewis Carroll szellemében. Ford. Lipovszki Gábor. Budapest, Typotex, 2002 Horányi Özséb: A társadalmi kommunikáció ágenséről....
...esetben könnyű meghatározni, hogy matematikai feladatról vagy a matematika filozófiáját érintő problémáról van szó – néhány igen fundamentális fejezet esetében nem adható megnyugtató válasz a besorolás kérdésére (minden bizonnyal ilyennek tekinthető Gödel...
...preszupponálnak, például a reprezentáció jelentését vagy tárgyát).6 Szemiotikai szempontból tehát szerencsésebb a for 4 A formalista reményeknek – legalábbis azon fundamentális értelemben, ahogyan azokat Hil-bert és követői értették – sokak szerint Gödel...
...Hofstadter, Douglas R.: Gödel, Escher, Bach. Egybefont gondolatok birodalma. Metaforikus fúga tudatra és gépekre, Lewis Carroll szellemében. Ford. Lipovszki Gábor. Budapest, Typotex, 2002 Horányi Özséb: A társadalmi kommunikáció ágenséről....
Találatok száma a kiadványban
körülbelül 1.
...Raymond Smullyan: Seherezádé rejtélye Raymond Smullyan: Sherlock Holmes sakkrejtélyei Raymond Smullyan: Gödel nemteljességi tételei -felsőfokú Károlyi Zsuzsa Csak logIQsan!...
...Raymond Smullyan: Seherezádé rejtélye Raymond Smullyan: Sherlock Holmes sakkrejtélyei Raymond Smullyan: Gödel nemteljességi tételei -felsőfokú Károlyi Zsuzsa Csak logIQsan!...
Találatok száma a kiadványban
körülbelül 2.
...Így megismerhetjük a könyv alapján Püthagorász, Euler, Galois, Germain, Cauchy, Gauss, Hilbert, Gödel, Taniyama, valamint a tízéves kisfiú, Wi-les portréját. Egy pontegyüttes burkolóköre 1. A síkban legyen adva n pont: P1; P2 ... Pn....
...L., 66 G Gödel, K., 173 Görbehálózat, 23 Gallai T., 29 Galois, é., 173 Gauss, C.F.,83, 110, 116-118, 173 Germain, S., 173 Girard, A., 106 Gonthier, G., 147 gráfelmélet, 29 Guthrie, F., 29, 146 Guthrie, P., 146 Gy gyámegyenes, 270 Gyory K., 173 H hányadosperiódus...
...Így megismerhetjük a könyv alapján Püthagorász, Euler, Galois, Germain, Cauchy, Gauss, Hilbert, Gödel, Taniyama, valamint a tízéves kisfiú, Wi-les portréját. Egy pontegyüttes burkolóköre 1. A síkban legyen adva n pont: P1; P2 ... Pn....
...L., 66 G Gödel, K., 173 Görbehálózat, 23 Gallai T., 29 Galois, é., 173 Gauss, C.F.,83, 110, 116-118, 173 Germain, S., 173 Girard, A., 106 Gonthier, G., 147 gráfelmélet, 29 Guthrie, F., 29, 146 Guthrie, P., 146 Gy gyámegyenes, 270 Gyory K., 173 H hányadosperiódus...
Találatok száma a kiadványban
körülbelül 2.
...Itt nem csak a rációt ért kihívásokra (amely kapcsán gyakran emlegetik például Gödel nemteljességi tételeit) vagy a tapasztalat állításokká való konvertálásának problémáira kell gondolnunk (amely például a Bécsi Kör protokolltétel-vitájában vált világossá...
...Így nem is alakult ki egységes szóhasználat és számos szerző ír úgy metaforáról, hogy nem azt érti rajta, amit a nyelvészetben vagy retorikában,306 mások meg ugyan a metaforáról írnak, de nem annak nevezik – mint a Gödel, Escher, Bach című munkája alapján...
...Itt nem csak a rációt ért kihívásokra (amely kapcsán gyakran emlegetik például Gödel nemteljességi tételeit) vagy a tapasztalat állításokká való konvertálásának problémáira kell gondolnunk (amely például a Bécsi Kör protokolltétel-vitájában vált világossá...
...Így nem is alakult ki egységes szóhasználat és számos szerző ír úgy metaforáról, hogy nem azt érti rajta, amit a nyelvészetben vagy retorikában,306 mások meg ugyan a metaforáról írnak, de nem annak nevezik – mint a Gödel, Escher, Bach című munkája alapján...