Nantilus
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. À 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...
Enregistré dans:
| Auteur principal : | |
|---|---|
| Format : | Livre |
| Langue : | français |
| Titre complet : | C.Q.F.D. : 21 façons de prouver en mathématiques / Yan Pradeau |
| Publié : |
Paris :
Flammarion
, 2023 Paris : Cairn |
| Collection : | Sciences |
| Titre de l'ensemble : | Sciences |
| Accès en ligne : |
Accès Nantes Université
Accès direct soit depuis les campus via le réseau ou le wifi eduroam soit à distance avec un compte @etu.univ-nantes.fr ou @univ-nantes.fr |
| Documents associés : | Autre format:
C.Q.F.D. |
| LEADER | 02466clm a2200397 4500 | ||
|---|---|---|---|
| 001 | PPN27557461X | ||
| 003 | http://www.sudoc.fr/27557461X | ||
| 005 | 20240607142800.0 | ||
| 010 | |a 978-2-08150-727-2 | ||
| 035 | |a (OCoLC)1422539886 | ||
| 035 | |a FRCAIRNINFO-FLAM_PRADE_2020_01 | ||
| 100 | |a 20240206d2023 |||y0frey0103 ba | ||
| 101 | 0 | |a fre |2 639-2 | |
| 102 | |a FR | ||
| 135 | |a dr||||||||||| | ||
| 181 | |6 z01 |c txt |2 rdacontent | ||
| 181 | 1 | |6 z01 |a i# |b xxxe## | |
| 182 | |6 z01 |c c |2 rdamedia | ||
| 182 | 1 | |6 z01 |a b | |
| 183 | |6 z01 |a ceb |2 RDAfrCarrier | ||
| 200 | 1 | |a C.Q.F.D. |e 21 façons de prouver en mathématiques |f Yan Pradeau | |
| 214 | 0 | |a Paris |c Flammarion | |
| 214 | 2 | |a Paris |c Cairn |d 2023 | |
| 225 | 1 | |a Sciences | |
| 330 | |a Les mathématiques semblent le champ le plus solide du savoir scientifique : C'est prouvé par a + b. À 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 ! |2 Site du diffuseur | ||
| 371 | 0 | |a L'accès complet à la ressource est réservé aux usagers des établissements qui en ont fait l'acquisition | |
| 410 | | | |t Sciences |n Flammarion | |
| 452 | | | |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.) |y 978-2-0814-9963-8 | |
| 700 | 1 | |3 PPN165038284 |a Pradeau |b Yan |f 19..-.... |4 070 | |
| 801 | 3 | |a FR |b Abes |c 20240220 |g AFNOR | |
| 801 | 0 | |a FR |b Cain.info |c 2023 | |
| 856 | 4 | |5 441099901:823148610 |u https://budistant.univ-nantes.fr/login?url=https://www.cairn.info/c-q-f-d--9782081499638.htm | |
| 915 | |5 441099901:823148610 |b CAIRN11-247314 | ||
| 930 | |5 441099901:823148610 |b 441099901 |j g | ||
| 991 | |5 441099901:823148610 |a Exemplaire créé en masse par ITEM le 04-06-2024 11:01 | ||
| 998 | |a 969921 | ||