Kurt Friedrich Gödel (/ˈkɜrt ˈɡɜːdəl/; German: [ˈkʊɐ̯t ˈɡøːdl̩] ; April 28, 1906 – January 14, 1978) was an Austrian, and later American, logician, mathematician, and philosopher. Considered with Aristotle and Gottlob Frege to be one of the most significant logicians in history, Gödel made an immense impact upon scientific and philosophical thinking in the 20th century, a time when others such as Bertrand Russell, A. N. Whitehead, and David Hilbert were pioneering the use of logic and set theory to understand the foundations of mathematics.

Property Value
dbo:abstract
  • Kurt Friedrich Gödel (/ˈkɜrt ˈɡɜːdəl/; German: [ˈkʊɐ̯t ˈɡøːdl̩] ; April 28, 1906 – January 14, 1978) was an Austrian, and later American, logician, mathematician, and philosopher. Considered with Aristotle and Gottlob Frege to be one of the most significant logicians in history, Gödel made an immense impact upon scientific and philosophical thinking in the 20th century, a time when others such as Bertrand Russell, A. N. Whitehead, and David Hilbert were pioneering the use of logic and set theory to understand the foundations of mathematics. Gödel published his two incompleteness theorems in 1931 when he was 25 years old, one year after finishing his doctorate at the University of Vienna. The first incompleteness theorem states that for any self-consistent recursive axiomatic system powerful enough to describe the arithmetic of the natural numbers (for example Peano arithmetic), there are true propositions about the naturals that cannot be proved from the axioms. To prove this theorem, Gödel developed a technique now known as Gödel numbering, which codes formal expressions as natural numbers. He also showed that neither the axiom of choice nor the continuum hypothesis can be disproved from the accepted axioms of set theory, assuming these axioms are consistent. The former result opened the door for mathematicians to assume the axiom of choice in their proofs. He also made important contributions to proof theory by clarifying the connections between classical logic, intuitionistic logic, and modal logic. (en)
  • كورت غودل (بالألمانية: Kurt Gödel)؛ (28 أبريل 1906 - 14 يناير 1978) منطقي ورياضياتي وفيلسوف. ولد في برون في مورافيا في ما كان يعرف باسم نمسا-المجر. بعد تفكُك تلك المملكة أصبح غودل تشيكيا في عمر 12، ثم أصبح نمساوياً في عمر 23 وبدخول هتلر إلى النمسا وضمها إلى ألمانيا أصبح غودل مواطِناً ألمانيا في عمر 32. بعد إنتهاء الحرب العالمية الثانية، سافر غودل إلى الولايات المتحدة حيث أصبح مواطِناً أمريكياً وعمرهُ اثنان و أربعون عاماً. من أهم إنجازاته مبرهنات عدم الاكتمال. (ar)
  • Kurt Friedrich Gödel (* 28. April 1906 in Brünn, Österreich-Ungarn, heute Tschechien; † 14. Januar 1978 in Princeton, New Jersey, Vereinigte Staaten) war ein österreichisch-amerikanischer Mathematiker und einer der bedeutendsten Logiker des 20. Jahrhunderts. Er leistete maßgebliche Beiträge zur Prädikatenlogik (Vollständigkeit und Entscheidungsproblem in der Arithmetik und der axiomatischen Mengenlehre), zu den Beziehungen der intuitionistischen Logik sowohl zur klassischen Logik als auch zur Modallogik sowie zur Relativitätstheorie in der Physik. Auch seine philosophischen Erörterungen zu den Grundlagen der Mathematik fanden weite Beachtung. (de)
  • Kurt Gödel o también Kurt Goedel (en alemán [ˈkʊʁt ˈɡøːdəl]), (28 de abril de 1906 Brünn, Imperio austrohúngaro, actual República Checa – 14 de enero de 1978, Princeton, Estados Unidos) fue un lógico, matemático y filósofo austriaco-estadounidense. Reconocido como uno de los más importantes lógicos de todos los tiempos, el trabajo de Gödel ha tenido un impacto inmenso en el pensamiento científico y filosófico del siglo XX. Gödel, al igual que otros pensadores como Gottlob Frege, Bertrand Russell, A. N. Whitehead y David Hilbert intentó emplear la lógica y la teoría de conjuntos para comprender los fundamentos de la matemática.A Gödel se le conoce mejor por sus dos teoremas de la incompletitud, publicados en 1931 a los 25 años de edad, un año después de finalizar su doctorado en la Universidad de Viena. El más célebre de sus teoremas de la incompletitud establece que para todo sistema axiomático recursivo auto-consistente lo suficientemente poderoso como para describir la aritmética de los números naturales (la aritmética de Peano), existen proposiciones verdaderas sobre los naturales que no pueden demostrarse a partir de los axiomas. Para demostrar este teorema desarrolló una técnica denominada ahora como numeración de Gödel, la cual codifica expresiones formales como números naturales. También demostró que la hipótesis del continuo no puede refutarse desde los axiomas aceptados de la teoría de conjuntos, si dichos axiomas son consistentes. Realizó importantes contribuciones a la teoría de la demostración al esclarecer las conexiones entre la lógica clásica, la lógica intuicionista y la lógica modal. (es)
  • Kurt Gödel (28 avril 1906 – 14 janvier 1978) est un logicien et mathématicien austro-américain. Son résultat le plus connu, le théorème d'incomplétude de Gödel, affirme que n'importe quel système logique suffisamment puissant pour décrire l'arithmétique des entiers admet des propositions sur les nombres entiers ne pouvant être ni infirmées ni confirmées à partir des axiomes de la théorie. Cette proposition est qualifiée d'indécidable. L'incomplétude et la cohérence (second théorème) ne peuvent pas être démontrées à l'intérieur du système. Gödel a également démontré la complétude du calcul des prédicats du premier ordre. Il a aussi démontré la cohérence relative de l'hypothèse du continu, montrant qu'elle ne peut pas être réfutée à partir des axiomes admis de la théorie des ensembles, en admettant que ces axiomes soient cohérents. Il est aussi à l'origine de la théorie des fonctions récursives. Il publie ses résultats les plus importants en 1931 à l'âge de 25 ans, alors qu'il travaille encore pour l'université de Vienne (Autriche). (fr)
  • Gödel è ritenuto uno dei più grandi logici di tutti i tempi insieme ad Aristotele e Gottlob Frege; le sue ricerche ebbero un significativo impatto, oltre che sul pensiero matematico e informatico, anche sul pensiero filosofico del XX secolo. (it)
  • Kurt Friedrich Gödel (Brno, 28 april 1906 — Princeton (New Jersey), 14 januari 1978) was een Oostenrijks-Amerikaans wiskundige, logicus en filosoof. Hij wordt gezien als een van de belangrijkste logici aller tijden. (nl)
  • クルト・ゲーデル(Kurt Gödel, 1906年4月28日 - 1978年1月14日)は、オーストリア・ハンガリー二重帝国(現チェコ)のブルノ生まれの数学者・論理学者である。業績には、完全性定理及び不完全性定理、連続体仮説に関する研究が知られる。 (ja)
  • Kurt Gödel (wym. niem. [ˈkʊʁt ˈɡøːdəl], ur. 28 kwietnia 1906 w Brnie, zm. 14 stycznia 1978 w Princeton) – austriacki logik i matematyk, autor twierdzeń z zakresu logiki matematycznej, współautor jednej z aksjomatyk teorii mnogości. Do najbardziej znanych osiągnięć matematycznych Gödla należą twierdzenia o niezupełności i niesprzeczności teorii dedukcyjnych, które obejmują arytmetykę liczb naturalnych. Rezultaty Gödla zalicza się do największych osiągnięć matematyki XX wieku. Gödel zajmował się również problemami ogólnej teorii względności – między innymi wyprowadził rozwiązania równania Einsteina, dopuszczające podróżowanie w czasie. W tamtym okresie uważano to za poważną wadę teorii. Einstein twierdził później, że wiedział o istnieniu takich rozwiązań od samego początku, ale ukrywał to, gdyż słusznie uważał, że inni fizycy nie zaakceptują teorii pozwalającej na podróże w czasie. (pl)
  • Kurt Friedrich Gödel (Brünn, Áustria-Hungria, 28 de abril de 1906 — Princeton, Estados Unidos, 14 de janeiro de 1978) foi um matemático austríaco, naturalizado norte-americano. O trabalho mais conhecido de Gödel é seu teorema da incompletude, no qual afirma que qualquer sistema axiomático suficiente para incluir a aritmética dos números inteiros não pode ser simultaneamente completo e consistente.Isto significa que se o sistema é auto-consistente, então existirão proposições que não poderão ser nem comprovadas nem negadas por este sistema axiomático. E se o sistema for completo, então ele não poderá validar a si mesmo — seria inconsistente. (pt)
  • Курт Фри́дрих Гёдель (нем. Kurt Friedrich Gödel; 28 апреля 1906, Брюнн, Австро-Венгрия — 14 января 1978, Принстон, Нью-Джерси) — австрийский логик, математик и философ математики, наиболее известный сформулированной и доказанной им теоремой о неполноте. (ru)
  • 库尔特·哥德尔(Kurt Friedrich Gödel,1906年4月28日-1978年1月14日),數學家、邏輯學家和哲學家,维也纳学派(维也纳小组)的成员。其最杰出的贡献是哥德尔不完备定理和连续统假设的相对协调性证明。 (zh)
dbo:almaMater
dbo:award
dbo:birthDate
  • 1906-04-28 (xsd:date)
  • 1906-4-28
dbo:birthName
  • Kurt Friedrich Gödel (en)
dbo:birthPlace
dbo:citizenship
dbo:deathDate
  • 1978-01-14 (xsd:date)
  • 1978-1-14
dbo:deathPlace
dbo:doctoralAdvisor
dbo:field
dbo:knownFor
dbo:residence
dbo:thumbnail
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 16736 (xsd:integer)
dbo:wikiPageRevisionID
  • 745126121 (xsd:integer)
dbp:nationality
  • Austrian
dbp:signature
  • Kurt Gödel signature.svg
dbp:thesisTitle
  • Über die Vollständigkeit des Logikkalküls
dbp:thesisUrl
dbp:thesisYear
  • 1929 (xsd:integer)
dbp:title
  • Gödel, Kurt
dbp:urlname
  • Goedel
dbp:workInstitutions
dct:description
  • logician, mathematician, and philosophy of mathematicsphilosopher of mathematics (en)
dct:subject
rdf:type
rdfs:comment
  • كورت غودل (بالألمانية: Kurt Gödel)؛ (28 أبريل 1906 - 14 يناير 1978) منطقي ورياضياتي وفيلسوف. ولد في برون في مورافيا في ما كان يعرف باسم نمسا-المجر. بعد تفكُك تلك المملكة أصبح غودل تشيكيا في عمر 12، ثم أصبح نمساوياً في عمر 23 وبدخول هتلر إلى النمسا وضمها إلى ألمانيا أصبح غودل مواطِناً ألمانيا في عمر 32. بعد إنتهاء الحرب العالمية الثانية، سافر غودل إلى الولايات المتحدة حيث أصبح مواطِناً أمريكياً وعمرهُ اثنان و أربعون عاماً. من أهم إنجازاته مبرهنات عدم الاكتمال. (ar)
  • Gödel è ritenuto uno dei più grandi logici di tutti i tempi insieme ad Aristotele e Gottlob Frege; le sue ricerche ebbero un significativo impatto, oltre che sul pensiero matematico e informatico, anche sul pensiero filosofico del XX secolo. (it)
  • Kurt Friedrich Gödel (Brno, 28 april 1906 — Princeton (New Jersey), 14 januari 1978) was een Oostenrijks-Amerikaans wiskundige, logicus en filosoof. Hij wordt gezien als een van de belangrijkste logici aller tijden. (nl)
  • クルト・ゲーデル(Kurt Gödel, 1906年4月28日 - 1978年1月14日)は、オーストリア・ハンガリー二重帝国(現チェコ)のブルノ生まれの数学者・論理学者である。業績には、完全性定理及び不完全性定理、連続体仮説に関する研究が知られる。 (ja)
  • Kurt Friedrich Gödel (Brünn, Áustria-Hungria, 28 de abril de 1906 — Princeton, Estados Unidos, 14 de janeiro de 1978) foi um matemático austríaco, naturalizado norte-americano. O trabalho mais conhecido de Gödel é seu teorema da incompletude, no qual afirma que qualquer sistema axiomático suficiente para incluir a aritmética dos números inteiros não pode ser simultaneamente completo e consistente.Isto significa que se o sistema é auto-consistente, então existirão proposições que não poderão ser nem comprovadas nem negadas por este sistema axiomático. E se o sistema for completo, então ele não poderá validar a si mesmo — seria inconsistente. (pt)
  • Курт Фри́дрих Гёдель (нем. Kurt Friedrich Gödel; 28 апреля 1906, Брюнн, Австро-Венгрия — 14 января 1978, Принстон, Нью-Джерси) — австрийский логик, математик и философ математики, наиболее известный сформулированной и доказанной им теоремой о неполноте. (ru)
  • 库尔特·哥德尔(Kurt Friedrich Gödel,1906年4月28日-1978年1月14日),數學家、邏輯學家和哲學家,维也纳学派(维也纳小组)的成员。其最杰出的贡献是哥德尔不完备定理和连续统假设的相对协调性证明。 (zh)
  • Kurt Friedrich Gödel (/ˈkɜrt ˈɡɜːdəl/; German: [ˈkʊɐ̯t ˈɡøːdl̩] ; April 28, 1906 – January 14, 1978) was an Austrian, and later American, logician, mathematician, and philosopher. Considered with Aristotle and Gottlob Frege to be one of the most significant logicians in history, Gödel made an immense impact upon scientific and philosophical thinking in the 20th century, a time when others such as Bertrand Russell, A. N. Whitehead, and David Hilbert were pioneering the use of logic and set theory to understand the foundations of mathematics. (en)
  • Kurt Friedrich Gödel (* 28. April 1906 in Brünn, Österreich-Ungarn, heute Tschechien; † 14. Januar 1978 in Princeton, New Jersey, Vereinigte Staaten) war ein österreichisch-amerikanischer Mathematiker und einer der bedeutendsten Logiker des 20. Jahrhunderts. Er leistete maßgebliche Beiträge zur Prädikatenlogik (Vollständigkeit und Entscheidungsproblem in der Arithmetik und der axiomatischen Mengenlehre), zu den Beziehungen der intuitionistischen Logik sowohl zur klassischen Logik als auch zur Modallogik sowie zur Relativitätstheorie in der Physik. (de)
  • Kurt Gödel o también Kurt Goedel (en alemán [ˈkʊʁt ˈɡøːdəl]), (28 de abril de 1906 Brünn, Imperio austrohúngaro, actual República Checa – 14 de enero de 1978, Princeton, Estados Unidos) fue un lógico, matemático y filósofo austriaco-estadounidense. También demostró que la hipótesis del continuo no puede refutarse desde los axiomas aceptados de la teoría de conjuntos, si dichos axiomas son consistentes. Realizó importantes contribuciones a la teoría de la demostración al esclarecer las conexiones entre la lógica clásica, la lógica intuicionista y la lógica modal. (es)
  • Kurt Gödel (28 avril 1906 – 14 janvier 1978) est un logicien et mathématicien austro-américain. Son résultat le plus connu, le théorème d'incomplétude de Gödel, affirme que n'importe quel système logique suffisamment puissant pour décrire l'arithmétique des entiers admet des propositions sur les nombres entiers ne pouvant être ni infirmées ni confirmées à partir des axiomes de la théorie. Cette proposition est qualifiée d'indécidable. L'incomplétude et la cohérence (second théorème) ne peuvent pas être démontrées à l'intérieur du système. (fr)
  • Kurt Gödel (wym. niem. [ˈkʊʁt ˈɡøːdəl], ur. 28 kwietnia 1906 w Brnie, zm. 14 stycznia 1978 w Princeton) – austriacki logik i matematyk, autor twierdzeń z zakresu logiki matematycznej, współautor jednej z aksjomatyk teorii mnogości. Do najbardziej znanych osiągnięć matematycznych Gödla należą twierdzenia o niezupełności i niesprzeczności teorii dedukcyjnych, które obejmują arytmetykę liczb naturalnych. (pl)
rdfs:label
  • Kurt Gödel (en)
  • كورت غودل (ar)
  • Kurt Gödel (de)
  • Kurt Gödel (es)
  • Kurt Gödel (fr)
  • Kurt Gödel (it)
  • クルト・ゲーデル (ja)
  • Kurt Gödel (nl)
  • Kurt Gödel (pl)
  • Kurt Gödel (pt)
  • Гёдель, Курт (ru)
  • 库尔特·哥德尔 (zh)
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
foaf:gender
  • male (en)
foaf:givenName
  • Kurt (en)
foaf:isPrimaryTopicOf
foaf:name
  • Kurt Gödel (en)
foaf:surname
  • Gödel (en)
is dbo:doctoralStudent of
is dbo:influenced of
is dbo:influencedBy of
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is owl:sameAs of
is foaf:primaryTopic of