推荐阅读书目

1. 数学

1. 《九章算术》

作者：不详（汉朝）
出版时间：公元前 1 世纪

2. 《几何原本》

作者：欧几里得
出版时间：约公元前 300 年

3. 《自然哲学的数学原理》

作者：艾萨克·牛顿
读书笔记链接：暂未上传

4. 《逻辑哲学论》 我们必须保持沉默

作者：路德维希·维特根斯坦
读书笔记链接：暂未上传

5. 《数学原理》

作者：伯特兰·罗素

6. 《哲学研究》

作者：路德维希·维特根斯坦

7. 《逻辑学的第二部分》

作者：戈特洛布·弗雷格

8. 《思维规律研究》

作者：乔治·布尔

9. 《逻辑的数学分析》

作者：阿尔弗雷德·诺斯·怀特海

10. 《通信的数学理论》

作者：克劳德·香农

11. 《数字情种——埃尔德什传》

作者：阿尔弗雷德·E·霍夫曼

12. 《我的大脑敞开了》

作者：保罗·爱多士

13. 《计算机与人脑》

作者：阿尔文·图夫特

2. 哲学

1. • 《形而上学》（”Metaphysics”）
   • 亚里士多德（Aristotle）
   • 讨论存在、实体、因果关系等基本概念，奠定了西方形而上学的基础。
2. • 纯粹理性批判》（”Critique of Pure Reason”）
   • 德（Immanuel Kant）
   • 讨知识的来源和界限，提出了先验知识和经验知识的区分。
3. • 第二性》（”The Second Sex”）
   • 蒙娜·德·波伏娃（Simone de Beauvoir）
   • 析了女性在社会中的地位，探讨了性别与存在的关系。
4. • 存在与时间》（”Being and Time”）
   • 丁·海德格尔（Martin Heidegger）
   • 究存在的本质，探讨人的存在及其在世界中的意义。
5. • 哲学原理》（”Principia Philosophiae”）
   • 卡尔（René Descartes）
   • 出了怀疑主义的思考方法，强调思考的首要性。
6. • 社会契约论》（”The Social Contract”）
   • 梭（Jean-Jacques Rousseau）
   • 讨政治权力的合法性与公民的权利，影响了现代政治哲学。
7. • 道德形而上学基础》（”Groundwork of the Metaphysics of Morals”）
   • 德（Immanuel Kant）
   • 述了道德法则和义务伦理学的原则。
8. • 正义论》（”A Theory of Justice”）
   • 翰·罗尔斯（John Rawls）
   • 出了公正的社会原则，探讨了公平与正义的社会结构。
9. • 超越的权威》（”On Liberty”）
   • 翰·斯图尔特·密尔（John Stuart Mill）
   • 述了个人自由与社会权威之间的关系，强调了个人权利的重要性。
10. • 《哲学的目的》（”The Purpose of Philosophy”）
    • 皮尔士（Charles Sanders Peirce）
    • 探讨了科学和哲学的关系，强调了实用主义的核心思想。
11. • 《逻辑哲学论》（”Tractatus Logico-Philosophicus”）
    • 维特根斯坦（Ludwig Wittgenstein）
    • 提出了语言、世界和思维之间的关系，探讨了逻辑和语言的本质。
12. • 《饕餮之宴》（Symposium）
    • 柏拉图式智性恋（Platonic Love 或 Platonic Friendship）

3. 心理学

1. 《教养的迷思》
   读书笔记链接：暂未上传

2. 当代最伟大的思想家、世界顶尖语言学家和认知心理学家，史蒂芬·平克五部曲 by Steven Pinker

• 《思想的本质》（The Stuff of Thought: Language as a Window into Human Nature ）：语言是洞察人类天性之窗
• 《心智探奇》（How the Mind Works）：人类心智的起源与进化
• 《语言本能》（The Language Instinct: How The Mind Creates Language）：人类语言进化的奥秘
• 《白板》（The Blank Slate）：科学和常识所揭示的人性奥秘–人之初，性本善吗？
• 《当下的启蒙》/《启示录：我们为什么会进步》（Enlightenment Now）：为理性、科学、人文主义和进步辩护

  这是我最喜爱的一本书。 –比尔·盖茨

4. 政治

1. 《共产党宣言》
2. 《我的奋斗》

5. 编程语言

1. 《Types and Programming Languages (TAPL)》 by Benjamin C. Pierce
   简介：
   这是讨论类型系统和语言设计最经典的书之一，从类型论的角度深入剖析编程语言的基础。它不仅关注静态和动态类型系统，还包括类型推导、子类型、多态、递归类型等高级概念。

适合读者：
想探索编程语言设计背后数学逻辑基础、类型系统和表达能力的人。

亮点：
聚焦理论基础，探讨“类型作为语言设计核心”的哲学。

2. 《Concepts, Techniques, and Models of Computer Programming》 by Peter Van Roy, Seif Haridi
   简介：
   这本书从多种编程范式（如函数式、逻辑式、数据流式、并发式等）的角度，重新定义编程语言的基本构造与模型。它强调抽象模型，而非特定语言实现。

适合读者：
想从多范式视角理解语言设计的人。

亮点：
通过“语言与范式”统一理论，探索语言间的设计联系。

3. 《Programming Language Theory》 by John C. Reynolds
   简介：
   一本讨论编程语言设计理论的经典著作，探讨语法、语义以及编程语言设计中的高维度哲学问题。它提供了一种结构化方式去思考语言设计，而非只关注具体实现。

适合读者：
对编程语言设计背后的数学语义有浓厚兴趣的人。

亮点：
探讨语言的语义学，兼顾实用性与理论深度。

4. 《Design Concepts in Programming Languages》 by Franklyn Turbak, David Gifford, Mark Sheldon
   简介：
   这本书从设计哲学的角度出发，探讨编程语言的基本概念与构造，并结合实际例子分析语言特性如何影响程序行为。书中的概念贯穿许多现代语言。

适合读者：
想通过语言设计哲学，理解语言特性如何影响程序设计的人。

亮点：
以“设计选择”为核心，分析每种设计背后的理论和权衡。

5. 《The Science of Programming》 by David Gries
   简介：
   虽然这本书名义上是关于程序设计的科学，但实际上它更关注编程语言本身的逻辑基础和数学背景。书中从逻辑学出发，提出编程语言应该如何定义和推理。

适合读者：
对编程语言设计与逻辑有深入思考需求的人。

亮点：
将程序设计提升到形式化、科学化的高度。

6. 《Semantic Models for Programming Languages》 by Matthew Hennessy
   简介：
   深入探讨编程语言的语义模型，包括操作语义、代数语义和公理语义等，用抽象模型分析语言的行为。

适合读者：
想从抽象层面理解语言语义的理论家。

亮点：
强调语义的数学表达，关注编程语言设计的本质。

7. 《On the Design of Programming Languages》 by Peter J. Landin
   简介：
   由编程语言理论的早期先驱之一撰写，书中讨论了语言设计的哲学层面，包括“如何定义语言的核心构造”以及“语言特性如何映射到程序员的思维”。

适合读者：
对编程语言设计的哲学起源和发展有浓厚兴趣的人。

亮点：
探索早期编程语言设计中的哲学与动机。

8. 《The Art of Prolog》 by Leon Sterling, Ehud Shapiro
   简介：
   虽然这本书看似与 Prolog（逻辑编程语言）有关，但它更是一本关于如何以逻辑为核心重新设计编程语言的哲学讨论，适合理解不同编程范式背后的思想。

适合读者：
对逻辑式语言以及其哲学意义有兴趣的人。

亮点：
挖掘逻辑语言设计背后的高层次哲学和应用场景。

9. 《Formal Semantics of Programming Languages》 by Glynn Winskel
   简介：
   这本书专注于编程语言的形式语义学，重点讨论如何通过数学模型表达语言的构造、逻辑和行为。

适合读者：
对形式化方法和数学建模感兴趣的人。

亮点：
深入语义学的本质，提供严谨的形式化分析。

10. 《Essentials of Programming Languages (EOPL)》 by Daniel P. Friedman, Mitchell Wand, Christopher T. Haynes
    简介：
    这本书采用解释器驱动的方式讲解语言设计背后的核心理论，但它强调的不是实现，而是设计哲学，适合高层次思考语言的构造。

适合读者：
对语言特性和设计逻辑有深入兴趣的人。

亮点：
深刻剖析语言抽象与设计选择。