10%OFF
Stock image for illustration purposes only - book cover, edition or condition may vary.
Computation, Proof, Machine: Mathematics Enters a New Age
Gilles Dowek
€ 52.99
€ 47.91
FREE Delivery in Ireland
Description for Computation, Proof, Machine: Mathematics Enters a New Age
paperback. To understand the future of mathematics, this fascinating book returns to its past, tracing the hidden history that follows the thread of computation. Translator(s): Guillot, Pierre; Roman, Marion. Num Pages: 160 pages, 6 b/w illus. BIC Classification: PBB; PDA; UYA. Category: (P) Professional & Vocational. Dimension: 218 x 139 x 13. Weight in Grams: 204.
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 understand the future of mathematics, this fascinating book returns to its past, tracing ... Read more
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 understand the future of mathematics, this fascinating book returns to its past, tracing ... Read more
Product Details
Format
Paperback
Publication date
2015
Publisher
Cambridge University Press
Condition
New
Number of Pages
160
Place of Publication
Cambridge, United Kingdom
ISBN
9780521133777
SKU
V9780521133777
Shipping Time
Usually ships in 7 to 11 working days
Ref
99-46
About Gilles Dowek
Gilles Dowek is a mathematician, logician and computer scientist, and currently a researcher at the French Institute for Research in Computer Science and Automation (INRIA). He is a member of the scientific board of the Société informatique de France and of CERNA. He is also a consultant with the National Institute of Aerospace, a NASA-affiliated laboratory. He is the recipient ... Read more
Reviews for Computation, Proof, Machine: Mathematics Enters a New Age
'In this pithy, award-winning account of the growing role of computation in mathematics, Gilles Dowek adds further evidence, if any were needed, that the Age of the Algorithm is upon us. A master storyteller, the author takes the reader on an exhilarating journey through the history of mathematics, as he explains, in engaging, vivid prose, why to prove is to ... Read more