LIBRISTO
LIBROAMANTO
obligatorisch
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
DPD-Kurier 4.49 Hermes Kurierdienst 4.99 DHL-Kurier 3.99 Hermes-Stelle 4.49 DPD-Stelle 2.99 GLS-Kurierdienst 4.49

Sehr geehrte Kunden, aufgrund des Feiertages ist der Kundensupport heute nicht verfügbar. Ihre Anfragen werden am folgenden Arbeitstag bearbeitet. Wir danken Ihnen für Ihr Verständnis.

Computation, Proof, Machine

Mathematics Enters a New Age

Sprache EnglischEnglisch
Buch Broschur
Buch Computation, Proof, Machine Gilles Dowek
Libristo-Code: 09197688
Verlag Cambridge University Press, Mai 2015
Computation is revolutionizing our world, even the inner world of the 'pure' mathematician. Mathemat... Vollständige Beschreibung
? points 162 b
66.09 inkl. MwSt.
Externes Lager Wir versenden in 9-15 Tagen

30 Tage für die Rückgabe der Ware


Kunden kauften auch


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

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Computation, Proof, Machine
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2015
Anzahl der Seiten 160
EAN 9780521133777
ISBN 0521133777
Libristo-Code 09197688
Gewicht 204
Abmessungen 139 x 218 x 13
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren


Human Evolution Graeme Finlay / Buch Hardcover
common.buy 99.89
Housing Law and Policy David Cowan / Buch Hardcover
common.buy 149.59
NSSC Physical Science Module 4 Student's Boook Olantunde Ajayi / Buch Broschur
common.buy 22.89
French Organ Music in the Reign of Louis XIV David Ponsford / Buch Broschur
common.buy 38.99
Complete Letters of Lady Mary Wortley Montagu Lady Mary Wortley Montagu / Buch Hardcover
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 / Buch Hardcover
common.buy 107.29
Top
Woman's Lore Sarah Clegg / Buch Broschur
common.buy 11.09
Battles of Conscience Tobias Kelly / Hörbuch 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 / Buch Broschur
common.buy 12.69
Global Hillary Dinesh Sharma / Buch Hardcover
common.buy 264.09
Keywords in Creative Writing Wendy Bishop / Buch Broschur
common.buy 24.59
If You Will Ask [If Ye Shall Ask] Oswald Chambers / Buch Broschur
common.buy 8.49
Salvation of a Saint Keigo Higashino / Buch Broschur
common.buy 15.29
Ezra Pound and Music Murray Schaffer R / Buch Broschur
common.buy 28.79
Herb DIACONO MARK / Buch Hardcover
common.buy 28.99
Business of Baking Michelle Z Green / Buch Broschur
common.buy 20.49
Top
How to Hide an Empire Daniel Immerwahr / Buch Broschur
common.buy 12.99
Top
The Laws of Human Nature Robert Greene / Buch Broschur
common.buy 19.99
Trauma Treatment Toolbox Jennifer Sweeton / Buch Broschur
common.buy 34.29
Biosphere and Environmental Safety V I Osipov / Buch Broschur
common.buy 107.29

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto