LIBRISTO
LIBROAMANTO
mandatory
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Austrian Post 5.49 DPD courier 3.99 DPD point 2.99

Computation, Proof, Machine

Mathematics Enters a New Age

Language EnglishEnglish
Book Paperback
Book Computation, Proof, Machine Gilles Dowek
Libristo code: 09197688
Publishers Cambridge University Press, May 2015
Computation is revolutionizing our world, even the inner world of the 'pure' mathematician. Mathemat... Full description
? points 162 b
66.09 VAT included
In stock at our supplier Shipping in 9-15 days
Austria Delivery to Austria

30-day return policy


Customers also purchased


Piccolo Albero e il Natale Jane Chapman / Book Hardback
common.buy 18.99
NFL American Football Adventskalender Holger Weishaupt / Book Hardback
common.buy 16.69
Dust Storm. The Griffith Brothers. Tom 1 Maggie C. Gates / Book Paperback
common.buy 10.49
Bünde Norbert Sahrhage / Book Hardback
common.buy 34.00
Original Album Series Heroes Del Silencio / Audio Audio CD
common.buy 19.39
Aus dem Leben einer Frau Louise Aston / Book Hardback
common.buy 22.80
Der Hexer von Hymal - Sammelband 6 N. Bernhardt / Book Paperback
common.buy 13.99
Kroatien - Autofreie Urlaubsorte Stefan Hasenbichler / Book Paperback
common.buy 18.90
El Evangelio Segun Juan, Vol. 1 Leon Morris / Book Paperback
common.buy 26.59
Akmeologiya Kar'ery Lichnosti Moskalenko Ol'ga / Book Paperback
common.buy 73.59
Contes A Ninon (Ed.1879) Emile Zola / Book Paperback
common.buy 28.19

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 the hidden history that follows the thread of computation. Along the way it invites us to reconsider the dialog between mathematics and the natural sciences, as well as the relationship between mathematics and computer science. It also sheds new light on philosophical concepts, such as the notions of analytic and synthetic judgment. Finally, it brings us to the brink of the new age, in which machine intelligence offers new ways of solving mathematical problems previously inaccessible. This book is the 2007 winner of the Grand Prix de Philosophie de l'Académie Française.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Computation, Proof, Machine
Language English
Binding Book - Paperback
Date of issue 2015
Number of pages 160
EAN 9780521133777
ISBN 0521133777
Libristo code 09197688
Weight 204
Dimensions 139 x 218 x 13
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in


Human Evolution Graeme Finlay / Book Hardback
common.buy 99.89
Housing Law and Policy David Cowan / Book Hardback
common.buy 149.59
NSSC Physical Science Module 4 Student's Boook Olantunde Ajayi / Book Paperback
common.buy 22.89
French Organ Music in the Reign of Louis XIV David Ponsford / Book Paperback
common.buy 38.99
Complete Letters of Lady Mary Wortley Montagu Lady Mary Wortley Montagu / Book Hardback
common.buy 98.09
Colombian Economy and Its Regional Structural Challenges Eduardo A. Haddad / E-book Adobe ePub DRM
common.buy 220.79
Computer-Based Structure Elucidation from Spectral Data Mikhail E. Elyashberg / Book Hardback
common.buy 107.29
Top
Woman's Lore Sarah Clegg / Book Paperback
common.buy 11.09
Battles of Conscience Tobias Kelly / Audiobook MP3
common.buy 11.89
Age of Earthquakes Shumon Basar / E-book Adobe ePub DRM
common.buy 10.89
No More State Greens 2 Troy G - Five Hough / Book Paperback
common.buy 12.69
Global Hillary Dinesh Sharma / Book Hardback
common.buy 264.09
Keywords in Creative Writing Wendy Bishop / Book Paperback
common.buy 24.59
If You Will Ask [If Ye Shall Ask] Oswald Chambers / Book Paperback
common.buy 8.49
Salvation of a Saint Keigo Higashino / Book Paperback
common.buy 16.29
Ezra Pound and Music Murray Schaffer R / Book Paperback
common.buy 28.79
Herb DIACONO MARK / Book Hardback
common.buy 28.99
Business of Baking Michelle Z Green / Book Paperback
common.buy 20.49
Top
How to Hide an Empire Daniel Immerwahr / Book Paperback
common.buy 12.99
Top
The Laws of Human Nature Robert Greene / Book Paperback
common.buy 19.99
Trauma Treatment Toolbox Jennifer Sweeton / Book Paperback
common.buy 34.29
Biosphere and Environmental Safety V I Osipov / Book Paperback
common.buy 107.29

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account