C.q.f.d. : 21 facons de prouver en mathematiques
Pradeau
Prix membre: 40,95$ (qu'est-ce que c'est?)
Prix régulier: 46,95$
Les membres économisent: 6,00$ (13%)
Prix régulier: 46,95$
Les membres économisent: 6,00$ (13%)
Ce produit n'est plus en vente.
Disponibilité:
Présentement en commande, expédié dès réception
Présentement en commande, expédié dès réception
Éditeur:
Flammarion Ltee
Flammarion Ltee
Année de parution:
2019
2019
ISBN-13:
9782081499638
ISBN-10: 20814996311
ISBN-10: 20814996311
Description:
Les mathématiques semblent le champ le plus solide du savoir scientifique : "C'est prouvé par a + b." A cette certitude correspondent pourtant non pas une, mais d'innombrables façons de démontrer — on compte par exemple plus de 300 preuves du théorème de Pythagore : par l'absurde, par contre-exemple, par récurrence, etc. Une redondance d'autant plus troublante que certaines sont jugées plus solides que d'autres...
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 !
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 !