BIB 30 / Histoire des maths de l’antiquité a l'an 1000 industrie La démonstration automatique : un

La démonstration automatique : un enjeu crucial / Prouver rapidement qu'une propriété est vérifiée

La gravitation devient une manifestation de la géométrie

l'ouvrage rend accessible des résultats profonds comme la diagonale de Cantor ou le théorème de Gödel

il n'est pas inutile de rappeler que les mathématiques jouent un rôle important dans l'explication de certains phénomènes naturels comme les marées

Mais la nouveauté

BIB 30 / Histoire des maths de l’antiquité a l'an 1000 industrie La démonstration automatique : unNotre avis Des pyramides de Babylone aux abstractions de l'Inde classique, en passant par la rigueur grecque et la transmission arabe, ce numro retrace quatre millnaires d'aventures mathmatiques. Il explore comment des civilisations aussi diffrentes que celles d'Alexandrie, de Msopotamie ou de l'Amrique prcolombienne ont faonn les fondements du calcul, de la gomtrie et de l'algbre. De Thals Al Khwarizmi, de Pythagore Aryabhata, les grands personnages