Les démonstrations : l'art de convaincre
"La possibilité de convaincre avec une absolue certitude fait à elle seule la spécificité des mathématiques. Mais les bases de la logique sont-elles immuables ? Qu'est-ce qu'une preuve ? Peut-on convaincre avec un dessin ou un programme informatique ? Une affirmation est-elle nécessai...
Na minha lista:
| Publicado no: | Tangente. Hors-série (Paris), 55 |
|---|---|
| Autor principal: | |
| Formato: | Livre papier |
| Idioma: | Français |
| Publicado em: |
Paris :
Éditions Pole
DL 2015.
|
| Colecção: | Bibliothèque Tangente : l'aventure mathématique
|
| Assuntos: | |
| Nota: |
Nůde : "Tangente. Hors-série", ISSN 1294-9949, (2015)nů5 |
| Autres localisations: | Voir dans le Sudoc |
| Consulter le titre dans une bibliothèque: | Cliquer ici |
| LEADER | 02281nam a22003017a 4500 | ||
|---|---|---|---|
| 001 | 579257 | ||
| 008 | 160111s2015 xxe ||| |||| 00| 0 fre d | ||
| 009 | PPN190615389 | ||
| 020 | |a 9782848841984 (rectifié) (br.) : |c 19,80 EUR |z 9782848841984 | ||
| 024 | |a 9782848841984 | ||
| 041 | 0 | |a fre | |
| 082 | |a 511.3 | ||
| 082 | |a 510 | ||
| 100 | 1 | |a Cohen, Gilles, |d 1951-2023, |c mathématicien. | |
| 245 | 1 | 0 | |a Les démonstrations : |b l'art de convaincre |c [directeur de publication et de la rédaction Gilles Cohen]. |
| 260 | |a Paris : |b Éditions Pole, |c DL 2015. | ||
| 300 | |a 1 vol. (162 p.) : |b ill. en noir et en coul., couv. ill. en coul. ; |c 24 cm. | ||
| 490 | 0 | |a Bibliothèque Tangente : l'aventure mathématique |x 2263-4908 | |
| 500 | |a Nůde : "Tangente. Hors-série", ISSN 1294-9949, (2015)nů5 | ||
| 504 | |a Notes bibliographiques. Glossaire | ||
| 505 | 0 | |a P. 13 -- Les fondements de la preuve -- P. 59 -- Les grands classiques -- P. 103 -- De nouvelles formes de preuves -- P. 129 -- Les apports de l'informatique | |
| 520 | |a "La possibilité de convaincre avec une absolue certitude fait à elle seule la spécificité des mathématiques. Mais les bases de la logique sont-elles immuables ? Qu'est-ce qu'une preuve ? Peut-on convaincre avec un dessin ou un programme informatique ? Une affirmation est-elle nécessairement vraie ou fausse ? De la méthode d'exhaustion d'Archimède au raisonnement par récurrence, la variété des méthodes utilisées pour démontrer est impressionnante. Mais tout l'art consiste à comprendre quelle technique de raisonnement s'applique à un problème donné, et à faire preuve de créativité quand la seule façon de convaincre consiste à sortir des sentiers battus. Des sentiers où l'on rencontre pêle-mêle paradoxes, contre-exemples, idées géniales, preuves sans mots, et esthétique..." | ||
| 650 | |a Mathématiques |x Fondements | ||
| 650 | |a Théorie de la démonstration | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Raisonnement | ||
| 773 | 0 | |0 045094802 |t Tangente. Hors-série (Paris) |x 1294-9949 |g 55 | |
| 997 | |0 579257 |1 Livre papier |a Ressource papier |c 0/Bourges/ |c 0/Orléans/ |c 1/Bourges/BU/ |c 1/Orléans/BU Sciences, Technologies, STAPS/ |z Bourges, BU, 511.3 DEM |z Orléans, BU Sciences, Technologies, STAPS, 511.3 DEM | ||