【2015新书】Computation, Proof, Machine: Mathematics Enters a New Age

Book 图书名称：Computation, Proof, Machine: Mathematics Enters a New Age
Author 作者：    Gilles Dowek, Pierre Guillot, Marion Roman
Publisher 出版社：Cambridge University Press
Page 页数：117
Publishing Date 出版时间：May 31, 2015                        
Language 语言：English
Size 大小：2 MB
Format 格式：pdf  文字版
ISBN: 0521133777, 9780521133777
Edition: 第1版 搜索过论坛，没有该文档


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.

== Table of contents ==
n/a


== 回帖见免费下载 ==

本帖隐藏的内容

Computation, Proof, Machine Mathematics Enters a New Age.pdf
大小:(2.04 MB)

 马上下载

声明： 本资源仅供学术研究参考之用，发布者不负任何法律责任，敬请下载者支持购买正版。
提倡免费分享！ 我发全部免费的，分文不收 来看看 ...
你也可关注我  马上加关注