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

Kaydedildi:
Detaylı Bibliyografya
Yazar: Dowek, Gilles, 1966-
Materyal Türü: Livre
Dil: Français
Baskı/Yayın Bilgisi: Paris : Le Pommier, impr. 2007
Konular:
Autres localisations: Voir dans le Sudoc
Özet: 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

  Yer Yer Numarası Durum
Libre accès 510.9 DOW Kütüphanede