“ La vérité n'est pas toujours prouvable”

Kurt Gödel est sans conteste le logicien et probablement l'un des plus grands esprits du XXe siècle. Ses travaux sur la logique mathématique ont révolutionné la pensée moderne.

• Kurt Gödel est né le 28 avril 1906, au sud ouest de Prague. On raconte qu'il a toujours eu la note maximale partout sauf une fois en …mathématiques !
• En 1924, il rejoint son frère à l'université de Vienne. Très vite remarqué pour ses qualités exceptionnelles, il entre dans un groupe de travail dirigé par Hans Hahn et devient docteur en Mathématiques en 1929.
• En 1928, à Bologne, au Congrès International de Mathématique, quatre grands problèmes sont posés. Entre 1929 et 1931, Gödel en résout deux entièrement et un troisième partiellement.
• En 1931, sa thèse et des articles sur "l'indicibilité formelle des Principia Mathematica et des systèmes équivalents" lui valent une réputation internationale. Gödel met fin aux espoirs d'Hilbert d'axiomatiser les mathématiques. Gödel prouve qu'elles ne se réduiront jamais à une suite de déductions mécaniques.
• En 1933-1934, Gödel enseigne aux USA puis de retour à Vienne souffre des premières crises de la maladie qui l'emportera : Gödel est hypocondriaque, il a peur de l'empoisonnement, de la maladie et se voit des ennemis partout. Malgré l'amour et le soutient sans faille de sa femme, la maladie sera victorieuse…
• En 1939, à la déclaration de guerre, Gödel fuit l'enrôlement dans les forces armées et réussit à s'enfuir vers l'Est puis aux USA.