Gilles Dowek
Broschiertes Buch

Computation, Proof, Machine

Mathematics Enters a New Age

Übersetzung: Guillot, Pierre; Roman, Marion
Versandkostenfrei!
Versandfertig in über 4 Wochen
56,99 €
inkl. MwSt.
Weitere Ausgaben:
PAYBACK Punkte
28 °P sammeln!
Computation is revolutionizing our world, even the inner world of the 'pure' mathematician. Mathematical methods - especially the notion of proof - that have their roots in classical antiquity have seen a radical transformation since the 1970s, as successive advances have challenged the priority of reason over computation. Like many revolutions, this one comes from within. Computation, calculation, algorithms - all have played an important role in mathematical progress from the beginning - but behind the scenes, their contribution was obscured in the enduring mathematical literature. To unders...