購物比價找書網找車網
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 / 普通級
贊助商廣告
 
金石堂 - 今日66折
馬上就能用的超強記憶法:記憶是考試、學習、成為能人的根本,用你熟悉的舊串起上百個新,不用一個月,人生各方面彎道超車。
作者:吳瓊
出版社:任性出版有限公司
出版日期:2024-04-29
66折: $ 257 
金石堂 - 今日66折
給自己最好的祝福:手寫經書組合套書(四冊):《寫.藥師經》、《寫.金剛經》、《寫.觀世音菩薩普
作者:張明明(範帖寫作)
出版社:漫遊者
出版日期:2023-10-12
66折: $ 739 
金石堂 - 今日66折
漫畫圖解西洋美術史套書:給年輕人的漫畫文藝復興、給年輕人的漫畫巴洛克與印象派、給年輕人的漫畫現代
作者:高階秀爾
出版社:原點
出版日期:2023-11-22
66折: $ 792 
金石堂 - 今日66折
【最後的訪談:文學三傑系列套書】(三冊):《海明威:最後的訪談》、《沙林傑:最後的訪談》、《馬奎斯:最後的訪談》
作者:厄內斯特.海明威
出版社:大寫出版
出版日期:2022-11-14
66折: $ 779 
 
Taaze 讀冊生活 - 暢銷排行榜
隱性潛能:華頓商學院最具影響力教授,突破天賦極限的實證科學【附潛能提升秘訣卡】
作者:亞當.格蘭特
出版社:平安文化有限公司
出版日期:2024-07-29
$ 379 
金石堂 - 暢銷排行榜
【限量親簽】把日子慢慢變好
作者:黃山料
出版社:三采文化股份有限公司
出版日期:2024-11-01
$ 332 
金石堂 - 暢銷排行榜
腐男子召喚~來到異世界被神獸設計了~  02
作者:藤咲もえ
出版社:東立出版社
出版日期:2024-10-30
$ 119 
 
博客來 - 新書排行榜
2025ㄇㄚˊ幾手帳(隨書附贈霧面PVC書套+書籤)【博客來獨家】
出版日期:2024-11-09
$ 355 
Taaze 讀冊生活 - 新書排行榜
貓咪攝影手記
作者:洪千淳
出版社:樹人出版
出版日期:2024-11-01
$ 210 
博客來 - 新書排行榜
童話裡的心理學
作者:鐘穎
出版社:楓樹林出版社
出版日期:2024-11-01
$ 331 
 

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