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...
保存先:
| 第一著者: | |
|---|---|
| フォーマット: | 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 |
| 要約: | 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 ! |
|---|---|
| 記述事項: | CAIRN (ebooks) |
| ISBN: | 9782081507272 |
| アクセス: | L'accès complet à la ressource est réservé aux usagers des établissements qui en ont fait l'acquisition |