| Property |
Value |
| dbo:abstract
|
- Kurt Gödel, né le 28 avril 1906 à Brünn et mort le 14 janvier 1978 à Princeton (New Jersey), est un logicien et mathématicien autrichien naturalisé 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. Ces propositions sont qualifiées d'indécidables. 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). Devenu privat-docent dans cette institution, il en est chassé après l'Anschluss ; il émigre alors avec sa femme aux États-Unis. Atteint de troubles mentaux depuis plusieurs années, il parvient néanmoins à être naturalisé grâce au soutien de ses amis Oskar Morgenstern et Albert Einstein, et intègre de façon permanente l'université de Princeton après la guerre. Toutefois, ses troubles se transforment en délire de persécution au milieu des années 1970 et accélèrent sa fin. (fr)
- Kurt Gödel, né le 28 avril 1906 à Brünn et mort le 14 janvier 1978 à Princeton (New Jersey), est un logicien et mathématicien autrichien naturalisé 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. Ces propositions sont qualifiées d'indécidables. 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). Devenu privat-docent dans cette institution, il en est chassé après l'Anschluss ; il émigre alors avec sa femme aux États-Unis. Atteint de troubles mentaux depuis plusieurs années, il parvient néanmoins à être naturalisé grâce au soutien de ses amis Oskar Morgenstern et Albert Einstein, et intègre de façon permanente l'université de Princeton après la guerre. Toutefois, ses troubles se transforment en délire de persécution au milieu des années 1970 et accélèrent sa fin. (fr)
|
| dbo:almaMater
| |
| dbo:award
| |
| dbo:birthDate
| |
| dbo:birthName
|
- Kurt Friedrich Gödel (en)
|
| dbo:birthPlace
| |
| dbo:birthYear
| |
| dbo:citizenship
| |
| dbo:deathPlace
| |
| dbo:deathYear
| |
| dbo:discipline
| |
| dbo:doctoralAdvisor
| |
| dbo:domain
| |
| dbo:employer
| |
| dbo:knownFor
| |
| dbo:nationality
| |
| dbo:occupation
| |
| dbo:placeOfBurial
| |
| dbo:religion
| |
| dbo:signature
| |
| dbo:spouse
| |
| dbo:thumbnail
| |
| dbo:thumbnailCaption
| |
| dbo:university
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 41640 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
|
- 1952 (xsd:integer)
- 1989 (xsd:integer)
- 2005 (xsd:integer)
- 2007 (xsd:integer)
- 2015 (xsd:integer)
- 2018 (xsd:integer)
|
| prop-fr:auteur
| |
| prop-fr:auteurs
|
- Ernest Nagel, James R. Newman, Kurt Gödel et Jean-Yves Girard (fr)
- Ernest Nagel, James R. Newman, Kurt Gödel et Jean-Yves Girard (fr)
|
| prop-fr:champs
| |
| prop-fr:colonnes
| |
| prop-fr:commons
|
- Category:Kurt Gödel (fr)
- Category:Kurt Gödel (fr)
|
| prop-fr:date
| |
| prop-fr:dateDeDécès
| |
| prop-fr:dateDeNaissance
| |
| prop-fr:diplôme
| |
| prop-fr:groupe
| |
| prop-fr:institutions
| |
| prop-fr:isbn
|
- 2 (xsd:integer)
- 978 (xsd:integer)
- 262231891 (xsd:integer)
- 0978-02-02 (xsd:date)
|
| prop-fr:langue
|
- en (fr)
- fr (fr)
- en (fr)
- fr (fr)
|
| prop-fr:langueOriginale
|
- en (fr)
- es (fr)
- en (fr)
- es (fr)
|
| prop-fr:lieu
|
- Amsterdam (fr)
- Barcelone (fr)
- Paris (fr)
- Amsterdam (fr)
- Barcelone (fr)
- Paris (fr)
|
| prop-fr:lieuDeDécès
|
- Princeton (fr)
- Princeton (fr)
|
| prop-fr:lieuDeNaissance
| |
| prop-fr:légende
|
- Kurt Gödel en 1925. (fr)
- Kurt Gödel en 1925. (fr)
|
| prop-fr:nationalité
|
- Américaine (fr)
- Autrichienne (fr)
- Américaine (fr)
- Autrichienne (fr)
|
| prop-fr:nom
|
- Kurt Gödel (fr)
- Piñeiro (fr)
- Kurt Gödel (fr)
- Piñeiro (fr)
|
| prop-fr:oclc
| |
| prop-fr:pagesTotales
|
- 167 (xsd:integer)
- 279 (xsd:integer)
- 289 (xsd:integer)
- x+550 (fr)
|
| prop-fr:plume
| |
| prop-fr:prix
| |
| prop-fr:prénom
|
- Gustavo Ernesto (fr)
- Gustavo Ernesto (fr)
|
| prop-fr:présentationEnLigne
| |
| prop-fr:renomméPour
| |
| prop-fr:référenceSimplifiée
|
- Référence:Le théorème de Gödel (fr)
- Référence:Le théorème de Gödel (fr)
|
| prop-fr:signature
|
- Kurt Gödel signature.svg (fr)
- Kurt Gödel signature.svg (fr)
|
| prop-fr:sudoc
| |
| prop-fr:titre
|
- dbpedia-fr:Logique_mathématique
- Le théorème de Gödel (fr)
- Einstein/Gödel. Quand deux génies refont le monde (fr)
- A logical journey : from Gödel to philosophy (fr)
- Les Démons de Gödel. Logique et folie (fr)
- Peut-on décider de ce qui est vrai? : Gödel et le théorème d'incomplétude (fr)
- Deux théorèmes qui révolutionnèrent les mathématiques (fr)
|
| prop-fr:traducteur
|
- Anne-Lucie Fernandez et Julie Soubeyrand (fr)
- Anne-Lucie Fernandez et Julie Soubeyrand (fr)
|
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:wikiquote
|
- Kurt Gödel (fr)
- Kurt Gödel (fr)
|
| prop-fr:éditeur
| |
| dct:subject
| |
| rdf:type
| |
| rdfs:comment
|
- Kurt Gödel, né le 28 avril 1906 à Brünn et mort le 14 janvier 1978 à Princeton (New Jersey), est un logicien et mathématicien autrichien naturalisé 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. Ces propositions sont qualifiées d'indécidables. (fr)
- Kurt Gödel, né le 28 avril 1906 à Brünn et mort le 14 janvier 1978 à Princeton (New Jersey), est un logicien et mathématicien autrichien naturalisé 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. Ces propositions sont qualifiées d'indécidables. (fr)
|
| rdfs:label
|
- Kurt Gödel (fr)
- Kurt Gödel (af)
- Kurt Gödel (es)
- Kurt Gödel (it)
- Kurt Gödel (pl)
- Kurt Gödel (pt)
- Kurt Gödel (war)
- Гёдель, Курт (ru)
- كورت جودل (arz)
- クルト・ゲーデル (ja)
- 库尔特·哥德尔 (zh)
- Kurt Gödel (fr)
- Kurt Gödel (af)
- Kurt Gödel (es)
- Kurt Gödel (it)
- Kurt Gödel (pl)
- Kurt Gödel (pt)
- Kurt Gödel (war)
- Гёдель, Курт (ru)
- كورت جودل (arz)
- クルト・ゲーデル (ja)
- 库尔特·哥德尔 (zh)
|
| rdfs:seeAlso
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:isPrimaryTopicOf
| |
| foaf:name
|
- Kurt Gödel (fr)
- (fr)
- Kurt Gödel (fr)
- (fr)
|
| is dbo:creator
of | |
| is dbo:discoverer
of | |
| is dbo:doctoralStudent
of | |
| is dbo:influenced
of | |
| is dbo:namedAfter
of | |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is prop-fr:auteur
of | |
| is prop-fr:influencéPar
of | |
| is prop-fr:lienAuteur
of | |
| is prop-fr:titre
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |