Kurt Gödel
personne
mathématicien austro-américain
Kurt Gödel est un logicien et mathématicien autrichien naturalisé américain, né le 28 avril 1906 à Brünn (Autriche-Hongrie) et mort le 14 janvier 1978 à Princeton (États-Unis). 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.
Liens externes
Lien Wikipedia : https://fr.wikipedia.org/wiki/Kurt_Gödel
Lien Wikidata : https://www.wikidata.org/wiki/Q41390
Propriétés
- date_deces
- +1978-01-1
- date_naissance
- +1906-04-2
- genre_personne
- masculin
- lieu_deces
- {"qid": "Q138518", "label": "Princeton"}
- lieu_naissance
- {"qid": "Q14960", "label": "Brno"}
- nationalite
- États-Unis
- occupation
- professeur d'université
- p106_all
- professeur d'université, physicien ou physicienne, mathématicien ou mathématicienne, philosophe, informaticien ou informaticienne