首頁外文書人文科普 〉Computation, Proof, Machine: Mathematics Enters a New Age
商品訊息
作者書籍
Computation, Proof, Machine: Mathematics Enters a New Age

Computation, Proof, Machine: Mathematics Enters a New Age


作者  /  Gilles Dowek

譯者  /  Pierre Guillot/ Marion Roman

出版社 / CAMBRIDGE UNIVERSITY PRESS

出版日期 / 2015/05/01

商品語言 / 英文

裝訂 / 平裝

定價 / NT$1,400

售價 / 9折, NT$ 1,260

※ 無庫存


Computation, Proof, Machine: Mathematics Enters a New Age 其它優惠/消息


introduction all_character


內容簡介

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.







詳細資料

誠品26碼 /2681252236003
ISBN 13 /9780521133777
ISBN 10 /0521133777
EAN /9780521133777

頁數160
尺寸21.6X13.8CM
裝訂平裝
級別
語言英文
成份




Share/Save/Bookmark

查看全台書店有無此商品