Gödel. Dos teoremas que revolucionaron las matemáticas
2017
First Published
4.57
Average Rating
159
Number of Pages
Part of Series
Kurt Gödel ébranla, par ses démonstrations qui s’imposaient à tous, les mathématiques de son temps. À contre-pied de la tendance formaliste de son époque, elles assurèrent une place à l’intuition dans les mathématiques, seule capable d’appréhender des vérités non vérifiables par des moyens formels connus. Les mathématiciens du début du XXe siècle systématisaient leurs méthodes de démonstration et imposaient un système de vérification infaillible, par lequel toute vérité arithmétique devait se construire à partir d’une base très limitée d’axiomes et de mécanismes logiques absolus. Sous une forme impeccable, Kurt Gödel énonça en 1931 les deux théorèmes d’incomplétude, prouvant qu’il existerait toujours des propositions qu’un tel système mécanique et infaillible ne pourrait ni valider ni réfuter. Parallèlement, Gödel affichait la position platonicienne donnant aux objets mathématiques une sorte de réalité indépendante des formalismes construits par l’esprit humain.
Avg Rating
4.57
Number of Ratings
7
5 STARS
57%
4 STARS
43%
3 STARS
0%
2 STARS
0%
1 STARS
0%
goodreads
