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

Wedi'i Gadw mewn:
Manylion Llyfryddiaeth
Prif Awdur: Dowek, Gilles, 1966-
Fformat: Livre
Iaith: Français
Cyhoeddwyd: Paris : Le Pommier, impr. 2007
Pynciau:
Autres localisations: Voir dans le Sudoc
Crynodeb: 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.

BU Sciences

  Lleoliad Rhif Galw Statws
Libre accès 510.9 DOW Ar gael