The Great Formal Machinery Works pdf epub mobi txt 电子书下载 2026

简体网页||繁体网页

☆☆☆☆☆

出版者:Princeton University Press

作者:Jan von Plato

出品人:

页数:400

译者:

出版时间:

价格:USD 35.00

装帧:E-book

isbn号码:9781400885039

丛书系列:

图书标签:

逻辑学
计算理论
历史
蒸汽朋克
科幻
奇幻
冒险
机械
维多利亚时代
架空历史
发明
工程
工业革命

下载链接在页面底部

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 复制链接

想要找书就要到小哈图书下载中心

qciss.net

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

具体描述

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.

《巨擘工程》：一场关于效率、秩序与人类潜能的宏大叙事在信息爆炸、技术飞速迭代的今天，我们常常被眼花缭乱的新奇事物所吸引，却可能忽略了那些支撑现代文明基石的、更为根本性的力量——效率的追求、秩序的构建，以及由此激发的无限人类潜能。《巨擘工程》（The Great Formal Machinery Works）并非一本描绘奇幻冒险或虚构未来的小说，它是一部深刻的、跨越时代的沉思录，通过对“形式机器”这一概念的极致探索，揭示了人类如何通过抽象、逻辑与体系化，将混沌的世界转化为可控、高效的运作。本书的视角是宏大的，它并非局限于某一特定领域，而是将目光投向了人类文明发展的各个角落，从古代社会的计数体系、法律条文，到现代工业的流水线、软件算法，再到社会组织的管理模式、科学研究的范式，无一不渗透着“形式机器”的影子。作者以一种近乎哲学的深度，解构了这些“机器”的本质——它们是人类为了达成特定目标，通过精心设计的规则、流程和结构，将复杂的现实问题简化、量化，并加以系统化处理的产物。《巨擘工程》的开篇，作者便将我们带回到人类文明的黎明。他描绘了早期人类如何通过结绳记事、早期度量衡的出现，以及部落规约的形成，来应对生存的挑战。这些看似朴素的举措，在作者看来，正是“形式机器”的萌芽。它们允许人们将瞬息万变的经验转化为可重复、可传承的知识，从而实现更有效的协作和更长远的规划。从氏族社会的口头传承到早期文字的诞生，再到数学符号的出现，每一个进步都标志着人类抽象思维能力的增强，以及对世界理解的深化。作者借此强调，人类的进步史，在很大程度上就是一部不断发明、完善和应用“形式机器”的历史。进入古代文明，作者着重分析了法律、官僚体系和城市规划等宏观“形式机器”的建立。古埃及的金字塔建设，古罗马的道路网与法律体系，中国的郡县制与科举制度，无一不是在复杂社会中建立秩序、分配资源、维持稳定的伟大尝试。作者深入剖析了这些体系的内在逻辑，它们如何通过层层分工、明确权责，将庞大的社会组织运作得井井有条。尽管这些古代的“机器”在效率和公平性上与现代不可同日而语，但它们所展现出的对系统性思维的运用，对人类组织能力的提升，其深远影响至今可见。作者特别强调了法律的“形式化”特征，即通过精确的条文和逻辑推理来裁决纠纷，这是一种在人类社会中引入确定性与可预测性的重要手段。中世纪的教堂建筑、行会制度，文艺复兴时期的科学方法论，都得到了作者细致的解读。《巨擘工程》将视角从宏观社会层面转向了微观的知识生产与技能传承。教会如何通过严谨的神学体系与神职人员的培训，来维持其庞大的思想影响力；工匠行会如何通过学徒制度、技术标准，来保障产品质量与技艺的传承；而科学革命的兴起，更是“形式机器”在认知领域的一次巨大飞跃。笛卡尔的解析几何、牛顿的力学定律，伽利略的实验方法，都展现了人类如何通过数学模型、逻辑推理和可重复的实验，来揭示自然的规律。作者认为，科学研究本身就是一种精密的“形式机器”，它通过一套严谨的流程，将观察、假设、实验、验证等环节有机地结合起来，从而不断逼近真理。工业革命的到来，无疑是“形式机器”发展史上的一个里程碑。《巨擘工程》用大量篇幅描绘了蒸汽机、纺织机等机械装置如何重塑了生产方式，以及流水线生产模式如何将复杂的手工技艺分解为一系列简单、标准化的操作。作者深入探讨了这种“机械化”思维如何渗透到工厂管理、物流运输等方方面面，极大地提升了生产效率，改变了社会经济结构。同时，他也审视了这种模式的局限性，例如对工人的异化以及对环境的影响。然而，作者的重点在于分析这种“形式化”的进步力量，它如何将个体零散的劳动转化为规模化的、可控的生产力。进入20世纪，特别是信息时代的到来，《巨擘工程》将目光聚焦于软件、算法、数据管理以及人工智能等更为抽象和精密的“形式机器”。作者以生动的语言，阐释了编程语言如何将人类的指令转化为机器可执行的逻辑，操作系统如何管理计算机的硬件资源，数据库如何组织和检索海量信息，以及人工智能的出现，如何将“形式机器”推向了新的高度，开始模拟甚至超越人类的部分认知能力。作者在这里进一步拓展了“形式机器”的定义，它不再仅仅是物理性的装置，而是可以存在于数字空间中的逻辑结构和计算过程。他认为，这些抽象的“机器”正在以前所未有的速度和广度，重塑我们的工作、生活和思考方式。然而，《巨擘工程》并非一味歌颂“形式机器”的强大。作者以一种辩证的视角，审视了这些“机器”可能带来的负面影响。过度依赖形式化可能导致僵化、缺乏创造力，甚至在某些情况下，会加剧不公和控制。作者警示我们，当“形式机器”过于僵化，无法适应快速变化的世界时，它就会成为阻碍进步的枷锁。当“形式机器”被滥用，成为压迫的工具时，其潜在的破坏力同样巨大。例如，算法的偏见可能导致歧视，信息茧房可能限制思想的流动，而大规模监控系统则可能威胁个人自由。《巨擘工程》的精髓在于，它鼓励读者跳出对具体技术的迷恋，去理解那些驱动技术进步和组织变革的底层逻辑。它并非教你如何设计一个具体的“形式机器”，而是让你认识到“形式机器”的普遍性、重要性及其演进规律。作者通过对大量历史案例的梳理和深入分析，揭示了人类如何从零散的经验中提炼出规则，从混乱的现象中构建起秩序，并最终将这些秩序转化为强大的生产力与创造力。本书的价值在于，它为我们提供了一个审视自身与外部世界的全新视角。当我们面对一个复杂的问题时，我们可以尝试去识别其中隐含的“形式机器”，理解其运作原理，并思考如何对其进行优化或创新。当我们评价一个组织或一项制度时，我们可以从“形式机器”的角度去审视其效率、公平性与可持续性。当我们在学习新知识或掌握新技能时，我们可以认识到其中蕴含的“形式化”过程，从而更有效地学习和应用。《巨擘工程》是一次关于人类理性、创造力与协作精神的盛大庆典，它深刻地揭示了我们如何通过构建和运用“形式机器”，将一个充满不确定性的世界，逐渐塑造成一个更加有序、高效和可理解的家园。它是一部关于效率与秩序的史诗，一部关于人类智慧如何征服混沌的恢弘篇章，而我们每一个人，都是这部宏大工程的参与者和受益者。本书将激发你对当下社会运作方式的深刻反思，并鼓励你以一种全新的、更具洞察力的眼光，去理解和参与我们所处的这个正在被“形式机器”不断重塑的时代。

作者简介

Jan von Plato is professor of philosophy at the University of Helsinki. His books include Elements of Logical Reasoning and Structural Proof Theory.

目录信息

Preface ix
Prologue: Logical Roots of the Digital Age 1
1. An Ancient Tradition 5
1.1. Reduction to the Evident 5
1.2. Aristotle's Deductive Logic 7
1.3. Infinity and Incommensurability 16
1.4. Deductive and Marginal Notions of Truth 21
2. The Emergence of Foundational Study 29
2.1. In Search of the Roots of Formal Computation 31
2.2. Grassmann's Formalization of Calculation 40
2.3. Peano: The Logic of Grassmann's Formal Proofs 50
2.4. Axiomatic Geometry 57
2.5. Real Numbers 69
3. The Algebraic Tradition of Logic 81
3.1. Boole's Logical Algebra 81
3.2. Schröder's Algebraic Logic 83
3.3. Skolem's Combinatorics of Deduction 86
4. Frege's Discovery of Formal Reasoning 94
4.1. A Formula Language of Pure Thinking 94
4.2. Inference to Generality 110
4.3. Equality and Extensionality 112
4.4. Frege's Successes and Failures 117
5. Russell: Adding Quantifiers to Peano's Logic 128
5.1. Axiomatic Logic 128
5.2. The Rediscovery of Frege's Generality 131
5.3. Russell's Failures 137
6. The Point of Constructivity 140
6.1. Skolem's Finitism 140
6.2. Stricter Than Skolem: Wittgenstein and His Students 151
6.3. The Point of Intuitionistic Geometry 167
6.4. Intuitionistic Logic in the 1920s 173
7. The Göttingers 185
7.1. Hilbert's Program and Its Programmers 185
7.2. Logic in Göttingen 191
7.3. The Situation in Foundational Research around 1930 210
8. Gödel's Theorem: An End and a Beginning 230
8.1. How Gödel Found His Theorem 230
8.2. Consequences of Gödel's Theorem 243
8.3. Two "Berliners" 248
9. The Perfection of Pure Logic 255
9.1. Natural Deduction 256
9.2. Sequent Calculus 286
9.3. Logical Calculi and Their Applications 303
10. The Problem of Consistency 318
10.1. What Does a Consistency Proof Prove? 319
10.2. Gentzen's Original Proof of Consistency 326
10.3. Bar Induction: A Hidden Element in the Consistency Proof 343
References 353
Index 373
· · · · · · (收起)

读后感

评分☆☆☆☆☆

用户评价

评分☆☆☆☆☆

这本书的标题《The Great Formal Machinery Works》听起来就让人充满期待，仿佛能窥见某种宏大而精密的运作体系。然而，实际的阅读体验却是一场对期望的颠覆与重塑。我原本以为会深入探讨某种复杂的工程学或理论物理学框架，毕竟“形式机器”这个词汇本身就带有强烈的结构主义和逻辑推演的意味。但作者似乎选择了另一条截然不同的路径，将笔触更多地投向了那些隐藏在“机器”表象之下的，关于**人性、疏离与记忆的碎片化叙事**。故事的开篇，那种近乎冰冷的、对某个庞大工业复合体的精准描述，确实营造了一种严谨的氛围，仿佛置身于一个由齿轮和蒸汽驱动的、不容置疑的现实之中。读者很容易被带入这种精确的语境，期待着一个关于系统如何运作的终极解释。但是，随着情节的推进，这些冰冷的机械细节开始松动，让位于一系列晦涩难懂的人物独白和闪回。那些宏伟的“机器”似乎只是一个背景，一个舞台，真正的主角是那些在其中挣扎、迷失的个体，他们的情感纠葛远比任何复杂的机械图纸都要难以捉摸。这使得初期的阅读变成了一种持续的适应过程，你得不断放下对清晰因果链的渴求，转而拥抱那种**模糊不清、充满象征意义**的叙事风格。这种处理方式，虽然极富艺术张力，但对于追求明确情节推进的读者来说，无疑是一种挑战。

评分☆☆☆☆☆

这本书的**时间观**也令人玩味，它拒绝了线性的叙事逻辑，转而采用了一种类似**“折叠”或“回溯”**的结构。我们很少能清晰地知道“现在”是什么时候，故事的跳跃性非常大，过去、现在、甚至可能是未来的片段，在不打招呼的情况下交织在一起。这种非线性的处理方式，初看起来似乎是故作高深，但在理解了叙事的内核之后，我开始欣赏它背后的深意：也许在那个“形式机器”构筑的世界里，时间本身已经失去了其作为度量衡的意义，一切都处于一种**永恒的、僵持的循环**之中。人物的困境似乎从未真正解决，他们只是在不同的时间切面上重复着相似的痛苦和选择。这种处理方式让结局的处理变得尤为微妙——它没有提供一个明确的“解答”或“终结”，而更像是一个**状态的持续**。读完之后，我没有感到“故事结束了”，而是感觉自己只是暂时离开了那个循环。这种处理手法，对于偏好传统叙事弧线的读者来说，可能会带来巨大的“未满足感”，因为它剥夺了我们对明确因果闭环的心理需求。它留下的是一个开放式的哲学问题，而不是一个收束完好的故事。

评分☆☆☆☆☆

从文学手法和语言的运用层面来看，这本书展现出一种近乎**偏执的、对句法结构的实验性**。我注意到作者在构建句子时，似乎有意避开了任何常见的修辞习惯，倾向于使用冗长、蜿蜒曲折的长句，句中充斥着大量的插入语和从句，读起来如同在迷宫中穿行，每一步都需要极高的专注力去辨认主语和谓语之间的关联。这种写作风格带来的直接感受是**语言的密度极高**，几乎没有喘息的空间。它强迫读者放慢阅读速度，不再是快速地吸收信息，而是像解码一样去解析每一个词语的精确位置和它所承载的重量。这种对语言形式的极端雕琢，无疑赋予了文本一种独特的韵律感，一种近乎音乐般的复杂性，但代价是牺牲了叙事的流畅性。许多段落读完后，我常常需要回溯前文，重新梳理人物关系的脉络，这不仅仅是因为情节的复杂，更多的是因为句子本身的结构就构筑了一道无形的屏障。它不是在“讲述”故事，更像是在“构建”一个由语言构成的、极其精密的结构体，这个结构本身就是作品的主题。因此，如果你期待的是那种一气呵成的阅读体验，这本书很可能让你感到挫败，因为它要求你以一种近乎学者的态度，去审视每一个标点符号的意义。

评分☆☆☆☆☆

这本书给我的感觉是，它在试图探讨**“功能性”与“存在感”之间的永恒悖论**。表面上，那个“形式机器工厂”代表着绝对的功能性，一切都被设计、被优化，为达到某种预定的目的而存在。然而，隐藏在这些功能背后的角色们，却表现出令人心惊的“无用感”和“存在危机”。比如，其中一位核心人物，他似乎是机器运转中不可或缺的一环，负责监控某个至关重要的流程，但他的日常对话和内心活动却完全围绕着他童年时丢失的一只玩具展开。这种强烈的反差——极致的专业功能与极致的私人空虚——构成了全书最引人入胜的张力。作者巧妙地利用了环境的压抑和人物内在的松散来制造这种戏剧效果。我个人认为，这并非是一部关于工业美学的作品，而是一部深刻的**存在主义寓言**，只是它披上了技术和工厂的外衣。它探讨的不是机器如何工作，而是“当人被当作机器的一个零件对待时，他的灵魂如何进行抗议或屈服”。这种对现代异化现象的描摹，细腻而沉重，让你在合上书本之后，依然能感受到那种被庞大体系裹挟的无力感，久久不能散去。

评分☆☆☆☆☆

阅读这本书的过程中，我感受到了强烈的**视听感官的并置与冲突**。作者在描绘场景时，常常采用极度写实的笔法来刻画视觉和触觉，比如金属的冰冷触感、油污的气味、以及机器运转时产生的令人耳鸣的低频震动。这些细节的堆砌，使得场景具有了惊人的沉浸感，仿佛读者真的站在了那片弥漫着铁锈味的厂房之中。然而，与此同时，叙事中又频繁地穿插着**抽象的声音意象**，例如“一个没有回声的呐喊”、“被时间过滤的钟声”，这些听觉元素并非来自现实中的物理声源，而是纯粹的心理投射。这种将“硬核现实感”与“虚无缥缈的听觉幻觉”并置的处理，在文学中并不多见。它成功地营造了一种**“高保真”的梦境感**：你清晰地看到、摸到了这个世界的一切，但你却不相信它的真实性。这种感官上的两难处境，极大地提升了阅读的层次，它迫使读者去思考，究竟哪一种感知才是更接近真相的。它不是那种让你放松身心的读物，更像是一种需要高度精神投入的“感官训练”。

评分☆☆☆☆☆