Moyenne
19.0
1 vote
EXCELLENT
Qu’est-ce que prouver et comment s’y prend-on ? Comment lever les paradoxes de l’infini ? Pourquoi faut-il des axiomes ? Quel crédit accorder à un théorème établi par ordinateur ? Dans cet essai, Yan Pradeau lève le voile sur une activité essentielle des mathématiciens. Une fois n’est pas coutume, il détaille non leurs résultats, mais les chemins qui y mènent. Quand on sait depuis Gödel que tout ce qui est vrai n’est pas forcément prouvable, on mesure l’utilité de cet ouvrage !
2020 Editions Flammarion
Langue française | 288 pages | Sortie : 26 février 2020 | ISBN : 9782081499638
En vous inscrivant à Livraddict, vous pourrez partager vos chroniques de blog dans cette zone ! M'inscrire !
En vous inscrivant à Livraddict, vous pourrez commenter ce livre. M'inscrire !