LIBRISTO
LIBROAMANTO
obbligatorio
Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito
0
Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €
Bartolini 4.49 Punto Poste 5.49 Punto Poste 5.49 Punto Bartolini 3.49 DHL 6.99 GLS 7.99

Spedizione gratuita per ordini superiori a 69,99 euro.

Computation, Proof, Machine

Mathematics Enters a New Age

Lingua IngleseInglese
Libro In brossura
Libro Computation, Proof, Machine Gilles Dowek
Codice Libristo: 09197688
Casa editrice Cambridge University Press, maggio 2015
Computation is revolutionizing our world, even the inner world of the 'pure' mathematician. Mathemat... Descrizione completa
? points 162 b
66.09
Magazzino esterno Inviamo tra 9-15 giorni

30 giorni per il reso


I clienti hanno acquistato anche


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

Attrice & Poliglotta
EWA KASP per
Riproduci video
Ewa Kasp
Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Computation, Proof, Machine
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2015
Numero di pagine 160
EAN 9780521133777
ISBN 0521133777
Codice Libristo 09197688
Peso 204
Dimensioni 139 x 218 x 13
Regala questo libro oggi stesso
È facile
1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche


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

Accesso

Accedi al tuo account. Non hai ancora un account Libristo? Crealo ora!

 
obbligatorio
obbligatorio

Non hai un account? Ottieni i vantaggi di un account Libristo!

Con un account Libristo, avrai tutto sotto controllo.

Crea un account Libristo
Consulente di libri Libroamiko
Ciao, sono Libroamiko, posso aiutarti?