LIBRISTO
LIBROAMANTO
verplicht
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 DHL koeriersdienst 5.49 GLS koerier 4.99 DPD-punt 3.99

Gratis verzending vanaf 59,99 euro.

Computation, Proof, Machine

Mathematics Enters a New Age

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Computation, Proof, Machine Gilles Dowek
Libristo-code: 09197688
Uitgeverij Cambridge University Press, mei 2015
Computation is revolutionizing our world, even the inner world of the 'pure' mathematician. Mathemat... Volledige beschrijving
? points 155 b
64.00
In extern magazijn Wordt binnen 9-15 dagen verzonden

Retourneren binnen 30 dagen


Klanten kochten ook


Piccolo Albero e il Natale Jane Chapman / Boek Gebonden (harde band)
common.buy 18.32
NFL American Football Adventskalender Holger Weishaupt / Boek Gebonden (harde band)
common.buy 16.90
Dust Storm. The Griffith Brothers. Tom 1 Maggie C. Gates / Boek Gebonden (paperback)
common.buy 9.92
Bünde Norbert Sahrhage / Boek Gebonden (harde band)
common.buy 32.20
Original Album Series Heroes Del Silencio / Audio Audio cd
common.buy 19.94
Aus dem Leben einer Frau Louise Aston / Boek Gebonden (harde band)
common.buy 20.55
Der Hexer von Hymal - Sammelband 6 N. Bernhardt / Boek Gebonden (paperback)
common.buy 12.65
Kroatien - Autofreie Urlaubsorte Stefan Hasenbichler / Boek Gebonden (paperback)
common.buy 17.01
El Evangelio Segun Juan, Vol. 1 Leon Morris / Boek Gebonden (paperback)
common.buy 25.31
Akmeologiya Kar'ery Lichnosti Moskalenko Ol'ga / Boek Gebonden (paperback)
common.buy 70.48
Contes A Ninon (Ed.1879) Emile Zola / Boek Gebonden (paperback)
common.buy 27.23

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Computation, Proof, Machine
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2015
Aantal pagina's 160
EAN 9780521133777
ISBN 0521133777
Libristo-code 09197688
Gewicht 204
Afmetingen 139 x 218 x 13
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant


Human Evolution Graeme Finlay / Boek Gebonden (harde band)
common.buy 97.42
Housing Law and Policy David Cowan / Boek Gebonden (harde band)
common.buy 144.62
NSSC Physical Science Module 4 Student's Boook Olantunde Ajayi / Boek Gebonden (paperback)
common.buy 22.17
French Organ Music in the Reign of Louis XIV David Ponsford / Boek Gebonden (paperback)
common.buy 37.67
Complete Letters of Lady Mary Wortley Montagu Lady Mary Wortley Montagu / Boek Gebonden (harde band)
common.buy 95.20
Colombian Economy and Its Regional Structural Challenges Eduardo A. Haddad / E-book Adobe ePub DRM
common.buy 213.09
Computer-Based Structure Elucidation from Spectral Data Mikhail E. Elyashberg / Boek Gebonden (harde band)
common.buy 103.10
TOP
Woman's Lore Sarah Clegg / Boek Gebonden (paperback)
common.buy 10.42
Battles of Conscience Tobias Kelly / Luisterboek MP3
common.buy 11.54
Age of Earthquakes Shumon Basar / E-book Adobe ePub DRM
common.buy 10.42
No More State Greens 2 Troy G - Five Hough / Boek Gebonden (paperback)
common.buy 12.35
Global Hillary Dinesh Sharma / Boek Gebonden (harde band)
common.buy 256.13
Keywords in Creative Writing Wendy Bishop / Boek Gebonden (paperback)
common.buy 23.59
If You Will Ask [If Ye Shall Ask] Oswald Chambers / Boek Gebonden (paperback)
common.buy 8.19
Salvation of a Saint Keigo Higashino / Boek Gebonden (paperback)
common.buy 16.50
Ezra Pound and Music Murray Schaffer R / Boek Gebonden (paperback)
common.buy 27.54
Herb DIACONO MARK / Boek Gebonden (harde band)
common.buy 29.36
Business of Baking Michelle Z Green / Boek Gebonden (paperback)
common.buy 19.44
TOP
How to Hide an Empire Daniel Immerwahr / Boek Gebonden (paperback)
common.buy 12.24
TOP
The Laws of Human Nature Robert Greene / Boek Gebonden (paperback)
common.buy 18.83
TOP
You Can Paint Dazzling Watercolors in Twelve Easy Lessons Yuko Nagayama / Boek Gebonden (paperback)
common.buy 14.88
Trauma Treatment Toolbox Jennifer Sweeton / Boek Gebonden (paperback)
common.buy 32.70
Biosphere and Environmental Safety V I Osipov / Boek Gebonden (paperback)
common.buy 103.10

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?