Synopsis
Ses découvertes ébranlèrent les mathématiques jusqu’à leurs fondements m’en ici. À contre-pied de la tendance de l’époque, elles assurèrent une place à l’intuition, seul capable d’appréhender des vérités non vérifiables. Les mathématiciens du début du XXe siècle, reconsidéreraient leurs méthodes de démonstration et mettaient au point un système de vérification infaillible, dans lequel toute vérité arithmétique, devait se construire à partir d’une petite base d’axiomes et de mécanismes logiques absolus. Mais Kurt Gödel énonça alors, en 1931, ses deux théorèmes, prouvant qu’il existerait toujours des propositions qu’un tel système mécanique et infaillible ne pourrait pas valider ou réfuter. Aujourd’hui, ces derniers signifient qu’il existera toujours des propositions arithmétiques non vérifiables par un ordinateur.
Moyenne
-
0 vote
-
1 édition pour ce livre
2025 Editions RBA (Grandes idées de la Science)
Traduit par Anne-Lucie Fernandez, Julie Soubeyrand
161 pages
10 avril 2025
ISBN : 9788410572881
Qui a lu ce livre ?
Aucun membre n'a lu ce livre
Aucun membre ne lit ce livre
Aucun membre ne veut lire ce livre
2 membres possèdent ce livre
chronique de blog
Aucune chronique de blog pour le moment.
En vous inscrivant à Livraddict, vous pourrez partager vos chroniques de blog !
Pour poster un message, il faut être inscrit sur Livraddict
Aucun commentaire pour le moment.