C.Q.F.D. : 21 façons de prouver en mathématiques

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...

תיאור מלא

שמור ב:
מידע ביבליוגרפי
מחבר ראשי: Pradeau, Yan, 19..-
פורמט: Livre numérique
שפה:Français
יצא לאור: Paris : Flammarion 2023.
Paris : Cairn
סדרה:Sciences
גישה מקוונת:Accès Université Orléans et IFPM 
הערה: CAIRN (ebooks)
Autres localisations: Voir dans le Sudoc
Edition sous un autre format:• C.Q.F.D., 21 façons de prouver en mathématiques, Yan Pradeau,..., 2020, [Paris], Flammarion, 1 vol. (383 p.), 978-2-0814-9963-8
LEADER 01969nam a22002177a 4500
001 1161766
008 240206s2023 xx|||||| |||| 00| 0 fre d
009 PPN27557461X
020 |a 9782081507272 
041 0 |a fre 
100 1 |a Pradeau, Yan,  |d 19..- 
245 1 0 |a C.Q.F.D. :  |b 21 façons de prouver en mathématiques   |c Yan Pradeau. 
260 |a Paris :  |b Flammarion. 
260 |a Paris :  |b Cairn,  |c 2023. 
490 0 |a Sciences 
500 |a CAIRN (ebooks) 
506 |a L'accès complet à la ressource est réservé aux usagers des établissements qui en ont fait l'acquisition 
520 |a 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 ! 
776 0 |0 245217991  |t C.Q.F.D.  |o 21 façons de prouver en mathématiques  |f Yan Pradeau,...  |d 2020  |c [Paris]  |n Flammarion  |p 1 vol. (383 p.)  |z 978-2-0814-9963-8 
856 |5 452349901:813396611  |u https://ezproxy.univ-orleans.fr/login?qurl=https://www.cairn.info/c-q-f-d--9782081499638.htm  |z Accès Université Orléans et IFPM  
997 |0 1161766  |1 Livre numérique  |a Ressource numérique  |b INSA  |b ENSA  |c 0/Bibliothèque numérique/  |c 1/Bibliothèque numérique/CAIRN (ebooks)/