Les métamorphoses du calcul : une étonnante histoire de mathématiques

Socle même de la méthode mathématique depuis l'Antiquité grecque, la notion de démonstration s'est profondément transformée, depuis le début des années soixante-dix. Plusieurs avancées mathématiques importantes remettent ainsi progressivement en cause la prééminence du raisonnement sur le...

Descrición completa

Gardado en:
Detalles Bibliográficos
Autor Principal: Dowek, Gilles, 1966-2025, informaticien et logicien
Formato: Livre papier
Idioma:Français
Publicado: Paris : Poche-Le Pommier DL 2011.
Series:Poche-le Pommier !
Sujets:
Autres localisations: Voir dans le Sudoc
LEADER 02137nam a22002177a 4500
001 407520
008 111020t20112011xxg ||| |||| 00| 0 fre d
009 PPN155786156
020 |a 9782746505612 (br.) :  |c 8 EUR 
024 |a 9782746505612 
041 0 |a fre 
082 |a 510.9 
100 1 |a Dowek, Gilles,  |d 1966-2025,  |c informaticien et logicien. 
245 1 0 |a Les métamorphoses du calcul :  |b une étonnante histoire de mathématiques   |c Gilles Dowek. 
260 |a Paris :  |b Poche-Le Pommier,  |c DL 2011. 
300 |a 1 volume (231 p.) :  |b illustrations, couverture illustrée en couleurs ;  |c 18 cm. 
490 0 |a Poche-le Pommier ! 
504 |a Bibliographie pages [221]-225. Index 
520 |a Socle même de la méthode mathématique depuis l'Antiquité grecque, la notion de démonstration s'est profondément transformée, depuis le début des années soixante-dix. Plusieurs avancées mathématiques importantes remettent ainsi progressivement en cause la prééminence du raisonnement sur le calcul, pour proposer une vision plus équilibrée, dans laquelle l'un et l'autre jouent des rôles complémentaires. Cette véritable révolution nous amène à repenser le dialogue des mathématiques avec les sciences de la nature. Elle éclaire d'une lumière nouvelle certains concepts philosophiques, comme ceux de jugement analytique et synthétique. Elle nous amène aussi à nous interroger sur les liens entre les mathématiques et l'informatique, et sur la singularité des mathématiques qui est longtemps restée l'unique science à ne pas utiliser d'instruments. Enfin, et c'est certainement le plus prometteur, elle nous laisse entrevoir de nouvelles manières de résoudre des problèmes mathématiques, qui s'affranchissent de certaines limites arbitraires que la technologie du passé a imposé à la taille des démonstrations : les mathématiques sont peut-être en train de partir à la conquête d'espaces jusqu'alors inaccessibles. 
650 |a Mathématiques  |x Histoire 
997 |0 407520  |1 Livre papier  |a Ressource papier  |c 0/Orléans/  |c 1/Orléans/BU Sciences, Technologies, STAPS/  |z Orléans, BU Sciences, Technologies, STAPS, 510.9 DOW