Nantilus
Les métamorphoses du calcul : une étonnante histoire de mathématiques
Une démonstration est un raisonnement construit à l'aide d'axiomes et de règles de déduction. Dans les années 1970, le raisonnement prend le pas sur le calcul, ce qui remet en cause la notion de démonstration. Celle-ci renouvelle le dialogue des mathématiques avec les sciences de la nature...
Enregistré dans:
| Auteur principal : | |
|---|---|
| Format : | Livre |
| Langue : | français |
| Titre complet : | Les métamorphoses du calcul : une étonnante histoire de mathématiques / Gilles Dowek |
| Publié : |
Paris :
Editions Le Pommier
, DL 2017 |
| Description matérielle : | 1 vol. (222 p.) |
| Collection : | Essais (Paris. 2001) |
| Sujets : |
| LEADER | 01688cam a2200409 4500 | ||
|---|---|---|---|
| 001 | PPN231984081 | ||
| 003 | http://www.sudoc.fr/231984081 | ||
| 005 | 20200904055300.0 | ||
| 010 | |a 978-2-7465-0910-8 |b br. |d 22 EUR | ||
| 035 | |a (OCoLC)1076480513 | ||
| 073 | 1 | |a 9782746509108 | |
| 100 | |a 20181128h20172014m y0frey0103 ba | ||
| 101 | 0 | |a fre | |
| 102 | |a FR | ||
| 105 | |a a a 001yy | ||
| 106 | |a r | ||
| 181 | |6 z01 |c txt |2 rdacontent | ||
| 181 | 1 | |6 z01 |a i# |b xxxe## | |
| 182 | |6 z01 |c n |2 rdamedia | ||
| 182 | 1 | |6 z01 |a n | |
| 183 | 1 | |6 z01 |a nga |2 rdacarrier | |
| 200 | 1 | |a Les métamorphoses du calcul |e une étonnante histoire de mathématiques |f Gilles Dowek | |
| 210 | |a Paris |c Editions Le Pommier |d DL 2017 | ||
| 215 | |a 1 vol. (222 p.) |c Ill., couv. ill. en coul. |d 120 cm | ||
| 225 | 0 | |a Essai Le Pommier ! | |
| 339 | |a Une démonstration est un raisonnement construit à l'aide d'axiomes et de règles de déduction. Dans les années 1970, le raisonnement prend le pas sur le calcul, ce qui remet en cause la notion de démonstration. Celle-ci renouvelle le dialogue des mathématiques avec les sciences de la nature, comme la physique ou la biologie. ©Electre 2019 | ||
| 320 | |a Bibliogr. p. 213-217. Index | ||
| 334 | |b Grand prix de philosophie de l'Académie française |d FR | ||
| 410 | | | |0 059343087 |t Essais (Paris. 2001) |x 1629-5048 | |
| 606 | |3 PPN02723875X |a Mathématiques |3 PPN02726470X |x Histoire |2 rameau | ||
| 676 | |a 510.9 |v 22 | ||
| 700 | 1 | |3 PPN02935093X |a Dowek |b Gilles |f 1966-.... |4 070 | |
| 801 | 3 | |a FR |b Electre |c 20190514 |g AFNOR | |
| 801 | 3 | |a FR |b Abes |c 20190108 |g AFNOR | |
| 979 | |a ESPEN | ||
| 930 | |5 441092309:643002499 |b 441092309 |a 510.9 DOW |j u | ||
| 998 | |a 840220 | ||