Berechnung, Beweis, Maschine: Mathematik betritt ein neues Zeitalter, Hardcover von Dowe...
Computation, Proof, Machine : Mathematics Enters a New Age, Hardcover by Dowek, Gilles; Guillot, Pierre (TRN); Roman, Marion (TRN), ISBN 0521118018, ISBN-13 9780521118019, Brand New, Free P&P in the UK 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 understand the future of mathematics, this fascinating book returns to its past, tracing the hidden history that follows the thread of computation.
Jetzt bei Ebay: