首先是我视野里的一些计算机逻辑部分的论文，这里先不谈计算机的化学材料、物理原理和互联网传播的精神文化方面的东西。
莱布尼茨有几篇逻辑学论文，但是没有人翻译过来。《人类理智新论》584页
《通向一种普遍文字》(1677)
《理性演算的基础》
《二进制算术的阐述》(1679)
我又想到可以把其他几个逻辑学家的论文罗列出来，尽管我目前没看到中译本。
德摩根:论域、德摩根律、关系逻辑
乔治布尔:《逻辑的数学分析》(1847)符号逻辑
《思维规律的研究》(1854)布尔代数
弗雷格:《概念文字》(1879)模仿数学创制的逻辑 形式语言，认为实现了普遍文字和理性演算，出现了一阶谓词演算
《算术基础》(1884)对数学的基础进行逻辑分析
罗素和怀特海:《数学原理》(1905)根据类型论创造一种普遍的数学公理推理系统
哥德尔:《〈数学原理〉（指怀德海和罗素所著的书）及有关系统中的形式不可判定命题》(1931)反驳一种靠定义演绎推理的数学公理系统成立的可能性
图灵:《论数字计算在决断难题中的应用》(1936)
香农:《继电器与开关电路的符号分析》(1938)真正把计算机的逻辑层面和物理层面打通。
麦卡洛克和皮茨:《神经活动中内在思想的逻辑演算》(1943)用逻辑门模拟神经细胞组成的大脑运作方式
冯诺伊曼:《存储程序通用电子计算机方案”--EDVAC》(1945)唯一引用是上文
诺伯特维纳:《控制论》(1948)提出了机械大脑的构想
香农:《通信的数学理论》(1948)信息论的正统
图灵:《计算机器与智能》(1950)提出了图灵测试。
贝塔朗菲:《一般系统论》(1955)提出了计算机建模，是区别于整体论和还原论的方法，和控制论联系密切。
乔姆斯基:乔姆斯基层级(暂不清楚1950年后哪一年)人和计算机交互的方式从指令集、纸带变成了标准化的自然语言，为高级程序语言设计奠定理论基础
之间还有皮亚诺自然数公理系统，算术化所有的非几何学数学，希尔伯特对几何学也进行了公理化。

本来我不想写出来的，有不成熟不完善和可能错误的地方。不过我发现后续对语义论的理解似乎需要把这一部分的思考先呈现出来，这一部分的思考尤其是追溯到乔姆斯基后反向对语义论的追溯就明亮起来。

转自逸之的“欢迎来到神奇的01世界“的帖子从手工计算到机械计算到电子计算及其各种计算工具的基本原理和制造讲的算比较通俗易懂了，有兴趣的可以去看看。https://www.jianshu.com/p/79e6eacaabc0

听说Chatgpt已经可以快速解析自然语言了，如果商业化的话那对于很多人来说从自然语言到程序设计语言都可以省略学习了。