傅雷格奠定了逻辑学的基础，罗素等人完善了命题逻辑和一阶逻辑，再往后冯诺依曼、图灵、邱奇、麦卡锡、巴克斯等人发明了计算机。是的，这些人都是与世无双的逻辑学家，确切地说是数理逻辑学家。
数理逻辑发展简史
编程的本质是把人的思想变成计算机可执行的机器代码。
程序员工作的本质是什么？
说到这里，很不幸，应该你已经猜到了？
程序员的工作性质的本质是翻译，把人类的思想需求翻译成机器可执行的代码。任何高级语言都是用来表达思想的。高级语言都会被翻译成机器语言，驱动计算机去执行。
程序员的本质
因此，你可以认识到软件的世界中有两个实质性的内容：思想和机器语言。思想是我们希望计算机做什么？当前软件从业者：从业务人员、项目经理、架构师、程序员、测试人员、实施人员，他们都有一个共同的工作性质：翻译。就是把思想翻译成机器语言。
你可能会质疑，现在人工智能这么发达，为什么不弄个翻译机呢？
这个能取代编程？！
很不幸你又猜对了，翻译机要来了。取代程序员的工作已经开始了。
其中低代码平台就能减少翻译人员的数量，无代码平台让需求者直接对接机器。
数据结构现在可以做成模型驱动和可视化的表单，控制可以做成可视化的流程和活动，要是逻辑问题也解决了，可能大部分软件需求就真的不需要程序员做翻译了。
低代码无代码能终结编程么？
博士聊IT，带你走近信息科学。给博士点下下呗！以前的文章：
中国为什么没有自己的编程语言？哲学、数学和语言学基础是关键
程序员比社平工资高70%？编程的本质是什么？能力强还是分配不公
企业数字化转型，先要看懂黑客帝国
秒懂！国家信息化战略在说什么！信息化从业人员必备知识
信息化建设效率为啥这么低？看透本质才能除掉病根
