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. Gödel a également démontré la complétude du calcul des prédicats du premier ordre.

PropertyValue
dbpedia-owl:abstract
  • 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. 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.Le plus souvent considéré comme autrichien, il est né à Brno en Autriche-Hongrie, est naturalisé tchécoslovaque à 12 ans, puis autrichien à 23 ans. Lorsque Hitler ordonne l'annexion de l'Autriche, Gödel devient allemand (il a alors 32 ans). Il part aux États-Unis pendant la Seconde Guerre mondiale, et obtient la double nationalité austro-américaine à 42 ans.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).
  • Kurt Gödel (28. dubna 1906, Brno, Rakousko-Uhersko – 14. ledna 1978, Princeton, USA) byl matematik rakouského původu, který se stal jedním z nejvýznamnějších logiků všech dob. Významné jsou i jeho příspěvky ve fyzice a ve filosofii matematiky.V roce 1930 publikoval větu o úplnosti predikátové logiky prvního řádu a v roce 1931 zásadní objev – dvě věty o neúplnosti axiomatických formálních systémů s aritmetikou. Prostřednictvím těchto vět ukázal, že není možné navrhnout soubor axiomů, které by byly dostačující pro zodpovězení každé otázky, kterou lze klást a formulovat uvnitř formálního systému s aritmetikou. Tyto věty ukončily více než padesátileté úsilí logiků a matematiků úplně formalizovat matematiku, ale ovlivnily i vědecké a filosofické myšlení druhé poloviny 20. a počátku 21. století.
  • Kurt Friedrich Gödel logiko eta matematikaria (1906ko apirilaren 28a - 1978ko urtarrilaren 14a), Austria-Hungariako Brünnen jaio zen, gaur egungo Txekiar Errepublikan. Geroago Vienako Zirkulua gisa ezaguna izango zen taldeko kide izan zen, Positibismo logikoaren eskola filosofikoa sortu zutenak.
  • Kurt Gödel (Brünn, 1906. április 28. – Princeton, USA, 1978. január 14.) világhírű osztrák matematikus, logikus és tudományfilozófus.
  • 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.
  • Kurt Gödel ([kuɹtˈgøːdl]), o también Kurt Goedel, (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.
  • Kurt Gödel (Brno, 28 aprile 1906 – Princeton, 14 gennaio 1978) è stato un matematico, logico e filosofo austriaco naturalizzato statunitense, noto soprattutto per i suoi lavori sull'incompletezza delle teorie matematiche.Gödel è ritenuto uno dei più grandi logici della storia umana 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.
  • クルト・ゲーデル(Kurt Gödel, 1906年4月28日 - 1978年1月14日)は、オーストリア・ハンガリー二重帝国(現チェコ)のブルノ生まれの数学者・論理学者である。業績には、完全性定理及び不完全性定理、連続体仮説に関する研究が知られる。
  • Курт Фри́дрих Гёдель (нем. Kurt Friedrich Gödel; 28 апреля 1906, Брюнн, Австро-Венгрия — 14 января 1978, Принстон, Нью-Джерси) — австрийский логик, математик и философ математики, наиболее известный сформулированной и доказанной им теоремой о неполноте.
  • 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.
  • Kurt Gödel (28 d'abril de 1906 Brno (Brünn), Imperi austrohúngar (avui República Txeca) – 14 de gener de 1978 Princeton, New Jersey, Estats Units d'Amèrica) fou un matemàtic austríac-americà, un lògic profund que va desenvolupar el Teorema d'incompletesa, afirmant que qualsevol sistema axiomàtic consistent prou potent per descriure l'aritmètica dels enters permet proposicions (sobre enters) que no es poden provar ni refutar. També va produir una feina celebrada sobre la Hipòtesi del Continu, en què demostrà que no es pot refutar del conjunt d'axiomes de teoria de conjunts i suposant que aquests axiomes són consistents. Es pot argumentar que Kurt Gödel és el més gran lògic del segle XX i un dels tres lògics més grans de la Història (formant un triumvirat lògic amb Aristòtil i Gottlob Frege).
  • Kurt Friedrich Gödel (/ˈkɜrt ɡɜrdəl/; German: [ˈkʊʁt ˈɡøːdəl] ; 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.
  • Kurt Friedrich Gödel (* 28. April 1906 in Brünn, Österreich-Ungarn, heute Tschechien; † 14. Januar 1978 in Princeton, New Jersey) 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, zur Relativitätstheorie in der Physik.Auch seine philosophischen Erörterungen zu den Grundlagen der Mathematik fanden weite Beachtung.
  • Курт Гьодел (IPA: [kʊɐ̯t ˈgøːdl̩], на немски: Kurt Gödel) е австрийски и американски логик, математик и философ.Гьодел е един от най-значимите логици на всички времена. Трудовете му имат съществено влияние върху научното и философско мислене на XX век. Те разтърсват научния свят още през 30-те години, когато Хилберт, Акерман, Уайтхед, Ръсел поставят основите на използването на логиката и теорията на множествата за разбиране на основите на математиката.Гьодел е познат преди всичко с неговите теореми за непълнота, публикувани през 1931 г., когато е на 25 години, една година след защитата на докторската си дисертация във Виенския университет. По-известната теорема за непълнота гласи, че за всяка вътрешно непротиворечива, рекурсивна аксиоматична система, достатъчна за да опише аритметиката на естествените числа (Аритметика на Пеано), съществуват верни твърдения за естествените числа, които не могат да бъдат доказани в рамките на тази аксиоматична система.Той доказва, че хипотезата за континуума не може да бъде отхвърлена в рамките на теорията на множествата, ако нейните аксиоми са непротиворечиви. Той прави и съществени приноси в теорията на доказателствата, изяснявайки връзките между класическата, съждителна и модална логика.
  • Kurt Gödel (d. 28 Nisan 1906 - ö. 14 Ocak 1978), Avusturyalı-Amerikan mantıkçı, matematikçi ve matematik felsefecisidir. Kendi ismiyle anılan Gödel'in Eksiklik Teoremi ile tanınır.Teoremlerinde tam sayı aritmetiğini içerecek kadar karmaşık herhangi bir sistemin içinde, sistemin aksiyomlarından yola çıkarak doğruluğu veya yanlışlığı kanıtlanamayacak önermeler bulunacağını ispatlamıştır. Bunun için ise Gödel numaralandırması ismi verilen bir metod geliştirmiştir. Meşhur teoremini Viyana Üniversitesindeki doktora çalışması sırasında 1931 yılında ispatlamış, bununla 20. yüzyıl matematiğinin yönünü değiştirmiştir. 1940'larda Princeton Üniversitesi İleri Araştırmalar Enstitüsünde Kurt Gödel, Einstein’ın kütle çekimi alanı denklemlerine, ekseni etrafında dönen bir evreni tanımlayan bir çözüm getirdi. Evrenin dönüşü ışığı (ve dolayısıyla cisimler arsındaki nedensellik bağlarını da) birlikte sürükleyecekti. Dolayısıyla maddi cisimde, ışık hızını aşmaya gerek kalmaksızın uzayda ve zamanda kapalı bir halka çizecekti. Gödel’in modeli, zamanda geriye gitmenin görelilik kuramınca yasaklanmadığını ortaya koydu. Kurt Gödel, Einstein'ın alan denklemlerini kullanarak, bir evren modeli tasarladı. Tasarım Einstein'ınkine benziyordu ama Gödel'in yaklaşımında kozmolojik sabitlere negatif bir değer veriliyordu. Einstein da kuramının bazı durumlarda geçmişe yolculuğa izin verdiği düşüncesinden rahatsızlık duyduğunu ifade etmiştir. Yalnız Gödel'in bu modeli gökbilimcilerin gözlemlediği kütleçekimsel kızıla kayma tarafından yanlışlanmaktadır.İçine kapanık bir kişiliği olan Gödel, son yıllarında zehirleneceği paranoyasına kapılarak hiçbir şey yememeye başlamış, bunun sonucunda beslenme eksikliğinden 14 Ocak 1978'de Princeton'da ölü bulunduğunda cenin pozisyonundaydı ve sadece 29.5 kiloydu.
  • Kurt Gödel (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.
  • 쿠르트 괴델(독일어: Kurt Gödel, 1906년 4월 28일 ~ 1978년 1월 14일)은 불완전성의 정리로 유명한 수학자이자 논리학자이다. 오스트리아-헝가리 제국의 모라바 (현 체코 공화국의 브르노)에서 태어났다.주요 업적으로 완전성 정리와 불완전성 정리의 증명과 연속체 가설의 상대적 무모순성이 잘 알려져 있다.
dbpedia-owl:award
dbpedia-owl:birthDate
  • 1906-04-28 (xsd:date)
dbpedia-owl:birthPlace
dbpedia-owl:birthYear
  • 1906-01-01 (xsd:date)
dbpedia-owl:bnfId
  • 12133987b
dbpedia-owl:deathDate
  • 1978-01-14 (xsd:date)
dbpedia-owl:deathPlace
dbpedia-owl:deathYear
  • 1978-01-01 (xsd:date)
dbpedia-owl:domain
dbpedia-owl:institution
dbpedia-owl:knownFor
dbpedia-owl:nationality
dbpedia-owl:sudocId
  • 028039734
dbpedia-owl:thumbnail
dbpedia-owl:thumbnailCaption
  • Kurt Gödel en 1925.
dbpedia-owl:university
dbpedia-owl:viafId
  • 97851774
dbpedia-owl:wikiPageExternalLink
dbpedia-owl:wikiPageID
  • 42626 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 23410 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 160 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 109856875 (xsd:integer)
dbpedia-owl:wikiPageWikiLink
prop-fr:année
  • 1989 (xsd:integer)
  • 2005 (xsd:integer)
  • 2007 (xsd:integer)
prop-fr:auteur
  • Palle Yourgrau
  • Pierre Cassou-Noguès
prop-fr:auteurs
  • Ernest Nagel, , Kurt Gödel et Jean-Yves Girard
prop-fr:bnf
  • 12133987 (xsd:integer)
prop-fr:champs
prop-fr:colonnes
  • 1 (xsd:integer)
prop-fr:commons
  • Category:Kurt Gödel
prop-fr:dateDeDécès
  • 1978-01-14 (xsd:date)
prop-fr:dateDeNaissance
  • 1906-04-28 (xsd:date)
prop-fr:diplôme
prop-fr:fr
  • Jean van Heijenoort
  • Solomon Feferman
  • « Über formal unentscheidbare Sätze der Principia mathematica und verwandter Systeme »
prop-fr:groupe
  • n
prop-fr:institutions
prop-fr:isbn
  • 2 (xsd:integer)
prop-fr:lang
  • en
prop-fr:lieuDeDécès
prop-fr:lieuDeNaissance
prop-fr:légende
  • Kurt Gödel en 1925.
prop-fr:nationalité
  • autrichienne, américaine
prop-fr:nom
  • Kurt Gödel
prop-fr:paysDeDécès
prop-fr:paysDeNaissance
  • Autriche-Hongrie (actuellement en République tchèque)
prop-fr:prix
prop-fr:ref
  • Référence:Le théorème de Gödel
prop-fr:renomméPour
prop-fr:signature
  • Kurt Gödel signature.svg
prop-fr:sudoc
  • 28039734 (xsd:integer)
prop-fr:titre
  • Einstein/Gödel. Quand deux génies refont le monde
  • Le théorème de Gödel
  • Les Démons de Gödel. Logique et folie
prop-fr:trad
  • On Formally Undecidable Propositions of Principia mathematica and Related Systems
prop-fr:type
  • personne
prop-fr:viaf
  • 97851774 (xsd:integer)
prop-fr:wikiPageUsesTemplate
prop-fr:wikiquote
  • Kurt Gödel
prop-fr:worldcatid
  • lccn-n-79-7770
prop-fr:éditeur
  • Dunod
  • Seuil
  • Éditions du Seuil
dcterms:subject
rdf:type
rdfs:comment
  • 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. Gödel a également démontré la complétude du calcul des prédicats du premier ordre.
  • Kurt Friedrich Gödel logiko eta matematikaria (1906ko apirilaren 28a - 1978ko urtarrilaren 14a), Austria-Hungariako Brünnen jaio zen, gaur egungo Txekiar Errepublikan. Geroago Vienako Zirkulua gisa ezaguna izango zen taldeko kide izan zen, Positibismo logikoaren eskola filosofikoa sortu zutenak.
  • Kurt Gödel (Brünn, 1906. április 28. – Princeton, USA, 1978. január 14.) világhírű osztrák matematikus, logikus és tudományfilozófus.
  • 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.
  • Kurt Gödel (Brno, 28 aprile 1906 – Princeton, 14 gennaio 1978) è stato un matematico, logico e filosofo austriaco naturalizzato statunitense, noto soprattutto per i suoi lavori sull'incompletezza delle teorie matematiche.Gödel è ritenuto uno dei più grandi logici della storia umana 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.
  • クルト・ゲーデル(Kurt Gödel, 1906年4月28日 - 1978年1月14日)は、オーストリア・ハンガリー二重帝国(現チェコ)のブルノ生まれの数学者・論理学者である。業績には、完全性定理及び不完全性定理、連続体仮説に関する研究が知られる。
  • Курт Фри́дрих Гёдель (нем. Kurt Friedrich Gödel; 28 апреля 1906, Брюнн, Австро-Венгрия — 14 января 1978, Принстон, Нью-Джерси) — австрийский логик, математик и философ математики, наиболее известный сформулированной и доказанной им теоремой о неполноте.
  • 쿠르트 괴델(독일어: Kurt Gödel, 1906년 4월 28일 ~ 1978년 1월 14일)은 불완전성의 정리로 유명한 수학자이자 논리학자이다. 오스트리아-헝가리 제국의 모라바 (현 체코 공화국의 브르노)에서 태어났다.주요 업적으로 완전성 정리와 불완전성 정리의 증명과 연속체 가설의 상대적 무모순성이 잘 알려져 있다.
  • Kurt Gödel (28. dubna 1906, Brno, Rakousko-Uhersko – 14. ledna 1978, Princeton, USA) byl matematik rakouského původu, který se stal jedním z nejvýznamnějších logiků všech dob. Významné jsou i jeho příspěvky ve fyzice a ve filosofii matematiky.V roce 1930 publikoval větu o úplnosti predikátové logiky prvního řádu a v roce 1931 zásadní objev – dvě věty o neúplnosti axiomatických formálních systémů s aritmetikou.
  • Kurt Friedrich Gödel (* 28. April 1906 in Brünn, Österreich-Ungarn, heute Tschechien; † 14. Januar 1978 in Princeton, New Jersey) war ein österreichisch-amerikanischer Mathematiker und einer der bedeutendsten Logiker des 20. Jahrhunderts.
  • Kurt Gödel (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.
  • Kurt Gödel ([kuɹtˈgøːdl]), o también Kurt Goedel, (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.
  • 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.
  • Kurt Friedrich Gödel (/ˈkɜrt ɡɜrdəl/; German: [ˈkʊʁt ˈɡøːdəl] ; 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.
  • Kurt Gödel (d. 28 Nisan 1906 - ö. 14 Ocak 1978), Avusturyalı-Amerikan mantıkçı, matematikçi ve matematik felsefecisidir. Kendi ismiyle anılan Gödel'in Eksiklik Teoremi ile tanınır.Teoremlerinde tam sayı aritmetiğini içerecek kadar karmaşık herhangi bir sistemin içinde, sistemin aksiyomlarından yola çıkarak doğruluğu veya yanlışlığı kanıtlanamayacak önermeler bulunacağını ispatlamıştır. Bunun için ise Gödel numaralandırması ismi verilen bir metod geliştirmiştir.
  • Курт Гьодел (IPA: [kʊɐ̯t ˈgøːdl̩], на немски: Kurt Gödel) е австрийски и американски логик, математик и философ.Гьодел е един от най-значимите логици на всички времена. Трудовете му имат съществено влияние върху научното и философско мислене на XX век.
  • Kurt Gödel (28 d'abril de 1906 Brno (Brünn), Imperi austrohúngar (avui República Txeca) – 14 de gener de 1978 Princeton, New Jersey, Estats Units d'Amèrica) fou un matemàtic austríac-americà, un lògic profund que va desenvolupar el Teorema d'incompletesa, afirmant que qualsevol sistema axiomàtic consistent prou potent per descriure l'aritmètica dels enters permet proposicions (sobre enters) que no es poden provar ni refutar.
rdfs:label
  • Kurt Gödel
  • Kurt Gödel
  • Kurt Gödel
  • Kurt Gödel
  • Kurt Gödel
  • Kurt Gödel
  • Kurt Gödel
  • Kurt Gödel
  • Kurt Gödel
  • Kurt Gödel
  • Kurt Gödel
  • Kurt Gödel
  • Kurt Gödel
  • Гёдель, Курт
  • Курт Гьодел
  • クルト・ゲーデル
  • 쿠르트 괴델
owl:sameAs
http://www.w3.org/ns/prov#wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
foaf:name
  • Kurt Gödel
is dbpedia-owl:influenced of
is dbpedia-owl:influencedBy of
is dbpedia-owl:wikiPageRedirects of
is dbpedia-owl:wikiPageWikiLink of
is prop-fr:aInfluencé of
is prop-fr:influencéPar of
is prop-fr:lienAuteur of
is foaf:primaryTopic of