Gödel Kurt, 1906-1978, né à Brünn (aujourd'hui Brno), mathématicien autrichien.
Publié le 28/10/2013
Extrait du document
Gödel Kurt, 1906-1978, né à Brünn (aujourd'hui Brno), mathématicien autrichien. Il démontra en 1931 qu'un système formel assez puissant pour coder l'arithmétique contient nécessairement des énoncés indécidables, dont on ne peut démontrer ni la vérité ni la fausseté, ce qui ruina l'espoir de constituer les mathématiques en système déductif parfaitement cohérent.
Liens utiles
- Waldheim Kurt, né en 1918 à Sankt Andrä-Wördern, diplomate et homme d'État autrichien.
- Schuschnigg (Kurt von), 1897-1977, né à Riva del Garda (Italie), homme politique autrichien.
- Loos Adolf, 1870-1933, né à Brno, architecte autrichien.
- Dieudonné Jean , 1906-1992, né à Lille, mathématicien français.
- Brünn (congrès de), congrès socialiste qui se tint à Brünn (aujourd'hui Brno, en Tchécoslovaquie) en 1899.