"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 5.
...Ezt a tényt Gödel bizonyította be 1930-ban. Az alábbiakban megadjuk azt a tautológiahalmazt, amely eleget tesz a feltételeknek....
...Tekintsük az (A1)--(A3) ítéletkalkulusbeli tautológiákat, továbbá az nyelv tetszőleges formuláira a következő tautológiákat: 6.25.Gödel teljességi tétele....
...Gödel teljességi tétele tételeGödel teljességi --- Tetszőleges és formulákra ekvivalens az alábbi két feltétel: (1) , (2) létezik -nek olyan levezetése az formulákból, ahol (b) típusú lépést csak az (A4)--(A5), illetve az (A1)--(A3) tautológiák...
...A Gödel-tétel segítségével bebizonyítható, hogy a tautológiagyűjteményünk is olyan halmazt alkot, amelyre igaz, hogy minden következtetésre létezik -nek -n alapuló levezetése -ből. A továbbiakban szerepét ez a halmaz játssza....
...Ezt a tényt Gödel bizonyította be 1930-ban. Az alábbiakban megadjuk azt a tautológiahalmazt, amely eleget tesz a feltételeknek....
...Tekintsük az (A1)--(A3) ítéletkalkulusbeli tautológiákat, továbbá az nyelv tetszőleges formuláira a következő tautológiákat: 6.25.Gödel teljességi tétele....
...Gödel teljességi tétele tételeGödel teljességi --- Tetszőleges és formulákra ekvivalens az alábbi két feltétel: (1) , (2) létezik -nek olyan levezetése az formulákból, ahol (b) típusú lépést csak az (A4)--(A5), illetve az (A1)--(A3) tautológiák...
...A Gödel-tétel segítségével bebizonyítható, hogy a tautológiagyűjteményünk is olyan halmazt alkot, amelyre igaz, hogy minden következtetésre létezik -nek -n alapuló levezetése -ből. A továbbiakban szerepét ez a halmaz játssza....
Találatok száma a kiadványban
körülbelül 4.
...Turing munkássága Kurt Gödel (1931) eldönthetetlenségi problémájától az automaták, absztrakt gépek és algoritmusok elméletének - tehát a modern számítástudománynak - a megalapozásáig húzódik....
...Amíg Gödel formális érvekkel vonta meg a formális matematika korlátait (azaz: minden formális axiómarendszerben megadható olyan átlítás, amelynek igazságáról az axiómarendszer keretein belül nem dönthetünk), addig Turing az axiómarendszerek vizsgálatáról...
...Gödel, K: Über formal unentscheidbare Saetze der Principia Mathematica und verwandter Systeme. I. Monats. Math. Phys., 1931, 38, 173-198. Hebb, D.O.: The organization of behavior. Wiley, New York, 1949. Hillis, W.D.: The Connection Machine....
...Hofstadter, D.R.: Gödel, Escher, Bach, Pinguin Books, 1979. Johnson-Laird, P.W.: In: Blakemore, C. (ed.): Mindwave. Blackwell Basil, Oxford, 1987....
...Turing munkássága Kurt Gödel (1931) eldönthetetlenségi problémájától az automaták, absztrakt gépek és algoritmusok elméletének - tehát a modern számítástudománynak - a megalapozásáig húzódik....
...Amíg Gödel formális érvekkel vonta meg a formális matematika korlátait (azaz: minden formális axiómarendszerben megadható olyan átlítás, amelynek igazságáról az axiómarendszer keretein belül nem dönthetünk), addig Turing az axiómarendszerek vizsgálatáról...
...Gödel, K: Über formal unentscheidbare Saetze der Principia Mathematica und verwandter Systeme. I. Monats. Math. Phys., 1931, 38, 173-198. Hebb, D.O.: The organization of behavior. Wiley, New York, 1949. Hillis, W.D.: The Connection Machine....
...Hofstadter, D.R.: Gödel, Escher, Bach, Pinguin Books, 1979. Johnson-Laird, P.W.: In: Blakemore, C. (ed.): Mindwave. Blackwell Basil, Oxford, 1987....
Találatok száma a kiadványban
körülbelül 4.
...A kör tagjai voltak: Moritz Schlick, Hans Hahnd, Philipp Frank, Otto Neurath, Rudolf Carnap, Herbert Feigl, Richard von Mises, Karl Menger, Kurt Gödel, Friedrich Waismann, Felix Kaufmann, Viktor Kraft és Edgar Zilsel....
...A problémát aztán Kurt Gödel osztrák matematikus – aki a Bécsi Körnek is tagja volt – tételei oldották meg 1929–30-ban.77 Feltehetően ennek hatására a Bécsi Kör a tudományos elméleteket is szerette volna az eldöntésprobléma hatálya alá vonni, tulajdonképpen...
...en.wikipedia.org/wiki/The_Structure_of_Scienti. c_Revolutions. 76 Richard Zach: Hilbert’s program, in Stanford Encyclopedia of Philosophy (https://plato. stanford.edu/entries/hilbert-program/), illetve https://en.wikipedia.org/wiki/Hilbert-%27s_problems. 77 Https...
...://en.wikipedia.org/wiki/Gödel%27s_ completeness_theorem; https://en.wikipedia. org/wiki/Gödel%27s_incompleteness_theorems. 78 Https://en.wikipedia.org/wiki/Holism. 79 Bernard Linsky – Andrew David Irvine: Principia Mathematica, in Stanford Encyclopedia...
...A kör tagjai voltak: Moritz Schlick, Hans Hahnd, Philipp Frank, Otto Neurath, Rudolf Carnap, Herbert Feigl, Richard von Mises, Karl Menger, Kurt Gödel, Friedrich Waismann, Felix Kaufmann, Viktor Kraft és Edgar Zilsel....
...A problémát aztán Kurt Gödel osztrák matematikus – aki a Bécsi Körnek is tagja volt – tételei oldották meg 1929–30-ban.77 Feltehetően ennek hatására a Bécsi Kör a tudományos elméleteket is szerette volna az eldöntésprobléma hatálya alá vonni, tulajdonképpen...
...en.wikipedia.org/wiki/The_Structure_of_Scienti. c_Revolutions. 76 Richard Zach: Hilbert’s program, in Stanford Encyclopedia of Philosophy (https://plato. stanford.edu/entries/hilbert-program/), illetve https://en.wikipedia.org/wiki/Hilbert-%27s_problems. 77 Https...
...://en.wikipedia.org/wiki/Gödel%27s_ completeness_theorem; https://en.wikipedia. org/wiki/Gödel%27s_incompleteness_theorems. 78 Https://en.wikipedia.org/wiki/Holism. 79 Bernard Linsky – Andrew David Irvine: Principia Mathematica, in Stanford Encyclopedia...
Találatok száma a kiadványban
körülbelül 8.
...Logic has been a device to research foundations of mathematics (based on results of Hilbert, Gödel, Church, Tarski), and main areas of Logic became full-fledged branches of Mathematics (model theory, proof theory, etc.)....
...In addition to strength of a logic there are famous limits of logics (also that of first-order logic): undecidability and incompleteness (see Church and Gödel's results)....
...If a theory is strong enough, then its inconsistency cannot be proven inside this theory (by Gödel's second Incompleteness Theorem). References to sec:2.1 are, for example: Enderton , Bell-Machover , Ben-Ari ....
...The following theorem which draws upon Gödel's and Church's famous results, answers the first group of problems: Th N is not axiomatizable (not recursive enumerable) and not decidable....
...A corollary of this theorem is Gödel's incompleteness theorem: % DedPe is incomplete . Otherwise DedPe=Th N would be recursive enumerable. Similarly, we get a negative answer for the other questions in 1 ....
...Logic has been a device to research foundations of mathematics (based on results of Hilbert, Gödel, Church, Tarski), and main areas of Logic became full-fledged branches of Mathematics (model theory, proof theory, etc.)....
...In addition to strength of a logic there are famous limits of logics (also that of first-order logic): undecidability and incompleteness (see Church and Gödel's results)....
...If a theory is strong enough, then its inconsistency cannot be proven inside this theory (by Gödel's second Incompleteness Theorem). References to sec:2.1 are, for example: Enderton , Bell-Machover , Ben-Ari ....
...The following theorem which draws upon Gödel's and Church's famous results, answers the first group of problems: Th N is not axiomatizable (not recursive enumerable) and not decidable....
...A corollary of this theorem is Gödel's incompleteness theorem: % DedPe is incomplete . Otherwise DedPe=Th N would be recursive enumerable. Similarly, we get a negative answer for the other questions in 1 ....
Találatok száma a kiadványban
körülbelül 4.
...Filozófusként Chwistek közel állt a híres bécsi filozófuscsoporthoz, a Bécsi Körhöz, amelybe olyan neves tagok tartoztak, mint Rudolf Carnap, Kurt Gödel és Moritz Schlick. Amikor elért hozzánk a hír, hogy Schlicket megölte egy ˝oadást tartott nekünk....
...Amennyire meg tudom ítélni, a „Rendszer” nem néz teljesen szembe Gödelnek azokkal a monumentális felfedezéseivel, amelyek a könyv írása idején születtek....
...Az eredeti állományhoz tartozott Einstein, Weyl, Neumann és Gödel – hogy csak néhányat említsek a nagyközönség számára is ismer˝o nevek közül –, az új intézet tehát osen cseng˝hamarosan a világ matematikai élvonalába került, és vezeto˝szerepét a mai...
...17 Franko, Ivan, 47 Gasser, Herbert, 177 Gauss, Carl Friedrich, 89–90, 93 Gilbert, Sir William, 140 Gillespie, David C., 138–139 Gilman, Daniel Coit, 182 Glashow, Shelly, 171 Glim, James A., 186 Gogol, Nyikolaj, 28 Goudsmit, Samuel A., 150–151, 177 Gödel...
...Filozófusként Chwistek közel állt a híres bécsi filozófuscsoporthoz, a Bécsi Körhöz, amelybe olyan neves tagok tartoztak, mint Rudolf Carnap, Kurt Gödel és Moritz Schlick. Amikor elért hozzánk a hír, hogy Schlicket megölte egy ˝oadást tartott nekünk....
...Amennyire meg tudom ítélni, a „Rendszer” nem néz teljesen szembe Gödelnek azokkal a monumentális felfedezéseivel, amelyek a könyv írása idején születtek....
...Az eredeti állományhoz tartozott Einstein, Weyl, Neumann és Gödel – hogy csak néhányat említsek a nagyközönség számára is ismer˝o nevek közül –, az új intézet tehát osen cseng˝hamarosan a világ matematikai élvonalába került, és vezeto˝szerepét a mai...
...17 Franko, Ivan, 47 Gasser, Herbert, 177 Gauss, Carl Friedrich, 89–90, 93 Gilbert, Sir William, 140 Gillespie, David C., 138–139 Gilman, Daniel Coit, 182 Glashow, Shelly, 171 Glim, James A., 186 Gogol, Nyikolaj, 28 Goudsmit, Samuel A., 150–151, 177 Gödel...
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 4.
...A matematikusok hosszú évekig próbálták eldönteni, hogy a c valóban megegyezik-e .1-gyel. 1963ban Paul Cohen matematikus bebizonyította, hogy ez a kérdés, az úgynevezett kontinuumhipotézis Gödel nemteljességi tétele miatt nem bizonyítható, de nem is...
...Gödel, Kurt: On Formally Undecidable Propositions of Principia Mathematica and Related Systems. Dover Publications, New York, 1992. Gould, Stephen Jay: Questioning the Millennium. Harmony Books, New York, 1997. Graves, Robert: A görög mítoszok....
...Nagel, Ernest – Newman, James: Gödel’s Proof. New York University Press, New York, 1958. Neugebauer, O.: The Exact Sciences in Antiquity. Dover Publications, New York, 1969. Newman, James R.: The World of Mathematics. 1–4....
...Wang, Hao: Reflections on Kurt Gödel. The MIT Press, Cambridge, Mass., 1987. White, Michael: The Last Sorcerer. Addison-Wesley, Reading, 1997. Xenophón történeti munkái. Ford. Németh György et al. Osiris, Budapest, 2001....
...A matematikusok hosszú évekig próbálták eldönteni, hogy a c valóban megegyezik-e .1-gyel. 1963ban Paul Cohen matematikus bebizonyította, hogy ez a kérdés, az úgynevezett kontinuumhipotézis Gödel nemteljességi tétele miatt nem bizonyítható, de nem is...
...Gödel, Kurt: On Formally Undecidable Propositions of Principia Mathematica and Related Systems. Dover Publications, New York, 1992. Gould, Stephen Jay: Questioning the Millennium. Harmony Books, New York, 1997. Graves, Robert: A görög mítoszok....
...Nagel, Ernest – Newman, James: Gödel’s Proof. New York University Press, New York, 1958. Neugebauer, O.: The Exact Sciences in Antiquity. Dover Publications, New York, 1969. Newman, James R.: The World of Mathematics. 1–4....
...Wang, Hao: Reflections on Kurt Gödel. The MIT Press, Cambridge, Mass., 1987. White, Michael: The Last Sorcerer. Addison-Wesley, Reading, 1997. Xenophón történeti munkái. Ford. Németh György et al. Osiris, Budapest, 2001....
Találatok száma a kiadványban
körülbelül 3.
...Ezután néhány új logikai fejtörő, fortély, játék, gödeli kérdés következik, végül egy-két zavarba ejtő ellentmondással találkozhatnak....
...Gödel nemteljességi tételei Fordította: Csaba Ferenc Kurt Gödel minden kétséget kizáróan századunk legnagyobb logikusa, 1931-es cikkének megjelenése a matematikai logika történetének egyik fordulópontja....
...Ezután néhány új logikai fejtörő, fortély, játék, gödeli kérdés következik, végül egy-két zavarba ejtő ellentmondással találkozhatnak....
...Gödel nemteljességi tételei Fordította: Csaba Ferenc Kurt Gödel minden kétséget kizáróan századunk legnagyobb logikusa, 1931-es cikkének megjelenése a matematikai logika történetének egyik fordulópontja....