给这个地方破个处

楼主 ，可以分享下你的想法吗

哦，事情还在进展中，也无法预料最终的成功或失败。

最核心的是：走英美分析哲学的老路，但是把分析对象放在虚拟世界，因为，只有这样，这些分析，才可以真正被还原为精确的数字。

具有现实意义的成果和工作的起点就是：在程序设计语言中引入更多的抽象。

而目标是：在一切理性思考的范围内，都可以采用这一种语言进行定义和描述，也就是说，真正的用计算机实现莱布尼茨的理性语言。

在软件领域它体现为一种非常像自然语言的编程方式，虽然它不是。

举一个小例子来说：比如关于互联网协议的RFC，都应可以采用这种方式进行书写，而且，不仅仅是书写，还可以进行运行和调试，也可以向其进行查询，而互联网协议的具体实现，不再像现在这样需要重新书写程序，而是把这些RFC include进来，再补充说明具体实现所需要的知识就可以了。