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

Mô tả đầy đủ

Đã lưu trong:
Chi tiết về thư mục
Tác giả chính: Pradeau, Yan, 19..-
Tác giả khác: Benjamin, Yves, 19..- (Cộng tác viên)
Định dạng: Livre papier
Ngôn ngữ:Français
Được phát hành: [Paris] : Flammarion DL 2020.
Những chủ đề:
Autres localisations: Voir dans le Sudoc
Variante du titre:Cqfd :, vingt-et-une façons de prouver en mathématiques
Ce qu'il fallait démontrer :, 21 façons de prouver en mathématiques
Ce qu'il fallait démontrer :, vingt-et-une façons de prouver en mathématiques
Miêu tả
Tóm tắt: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 !
Mô tả vật lý:1 volume (383 pages) : graphiques, illustrations, couverture illustrée en couleurs ; 22 cm.
Thư mục:Bibliographie pages 377-382. Notes bibliographiques
số ISBN:9782081499638 (br.)