購物比價找書網找車網
FindBook  
 有 1 項符合

The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age

的圖書
The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age

作者:Von Plato 
出版社:Princeton Univ Pr
出版日期:2017-08-02
語言:英文   規格:精裝 / 15.2 x 25.4 x 1.3 cm / 普通級
圖書選購
型式價格供應商所屬目錄
 
$ 2340
博客來 博客來
計算機概論
圖書介紹 - 資料來源:博客來   評分:
圖書名稱:The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age

內容簡介

The information age owes its existence to a little-known but crucial development, the theoretical study of logic and the foundations of mathematics. The Great Formal Machinery Works draws on original sources and rare archival materials to trace the history of the theories of deduction and computation that laid the logical foundations for the digital revolution.

Jan von Plato examines the contributions of figures such as Aristotle; the nineteenth-century German polymath Hermann Grassmann; George Boole, whose Boolean logic would prove essential to programming languages and computing; Ernst Schröder, best known for his work on algebraic logic; and Giuseppe Peano, cofounder of mathematical logic. Von Plato shows how the idea of a formal proof in mathematics emerged gradually in the second half of the nineteenth century, hand in hand with the notion of a formal process of computation. A turning point was reached by 1930, when Kurt Gödel conceived his celebrated incompleteness theorems. They were an enormous boost to the study of formal languages and computability, which were brought to perfection by the end of the 1930s with precise theories of formal languages and formal deduction and parallel theories of algorithmic computability. Von Plato describes how the first theoretical ideas of a computer soon emerged in the work of Alan Turing in 1936 and John von Neumann some years later.

Shedding new light on this crucial chapter in the history of science, The Great Formal Machinery Works is essential reading for students and researchers in logic, mathematics, and computer science.

 

詳細資料

  • ISBN:9780691174174
  • 規格:精裝 / 15.2 x 25.4 x 1.3 cm / 普通級
贊助商廣告
 
 
Taaze 讀冊生活 - 暢銷排行榜
【全圖解】初學者の鉤織入門BOOK:只要9種鉤針編織法就能完成23款實用又可愛的生活小物
作者:金倫廷
出版社:蘋果屋
出版日期:2018-12-07
$ 337 
Taaze 讀冊生活 - 暢銷排行榜
Word、Excel、PowerPoint 強效精攻500招
作者:PCuSER研究室
出版社:PCuSER電腦人文化
出版日期:2023-03-04
$ 157 
博客來 - 暢銷排行榜
百姓貴族 8
出版日期:2024-10-25
$ 162 
Taaze 讀冊生活 - 暢銷排行榜
懂生,才懂死
作者:佩瑪.丘卓
出版社:心靈工坊文化事業股份有限公司
出版日期:2024-06-07
$ 300 
 
Taaze 讀冊生活 - 新書排行榜
彈一場完美戀愛影視改編小說(GagaOOLala台泰日合作BL話題台劇!同名劇改小說)
作者:A.Z.、柯映安、黃思蜜、鄒宛臻
出版社:春光
出版日期:2024-11-07
$ 299 
博客來 - 新書排行榜
楞嚴經蠡測【第伍冊】
作者:王薀
出版社:善聞文化創意有限公司
出版日期:2024-09-19
$ 300 
博客來 - 新書排行榜
我不婚,然後呢?:黃越綏給單身世代的人生相談
出版日期:2024-11-11
$ 276 
Taaze 讀冊生活 - 新書排行榜
為什麼我們總是相信自己是對的?──不知不覺掉入的101種慣性思考陷阱
作者:李南錫著、李正模審訂
出版社:本事出版
出版日期:2024-11-22
$ 343 
 

©2024 FindBook.com.tw -  購物比價  找書網  找車網  服務條款  隱私權政策