第五重!!!!!!!!!!

2011-04-26 14:03:22
三次跃迁
2010-11-27 12:51:06

简单的做一个回顾:

1 最早的想法是产生于对OO方法的不满,主要的想法是将对象拆开为方法和属性以实现更加灵活的组合,在此之上构想了很多特性,但是过于零散,没有统一的理论,还肯定存在严重的特性冲突问题。

2 将计算机代码看做一个由逻辑实现的符号运算展开的结果,类似于元编程,自称为“逻辑宏”,用逻辑宏实现声明式与过程式的结合,可以实现AOP,LOP,更理想的OO,等诸多特性。

3 认识到时间在语言表达中的重要性,因而提出了记忆机制,通过构造一个带有记忆机制,事件-动作响应的逻辑语言来实现代码,让诸多抽象的语言结构得到实现,将2中所描述的逻辑宏在这个机制上构造。这个描述仍然需要一个虚拟机去执行。

4 时间不再是一个需要特殊看待的东西,一切都包括在一个关于世界的逻辑结构中,世界的现在,过去和未来都是这个逻辑结构的一部分。将3中所描述的记忆,事件-动作响应,通过纯粹的逻辑方式构造出来。虚拟机再也不需要了,而虚拟机本身也是逻辑构造的一部分。

---------------------------------------------------------------------------------------------------------------------
5 逻辑本身,是可以由图灵机所依赖的时空法则所构造出来的,最基础的三段论,经典逻辑,一阶逻辑,高阶逻辑,模态逻辑及各种非经典逻辑,将在一个一致的基础上构造出来,在这个构造中,可以看到时空法则,逻辑,图灵机的纠缠关系,还可以看到逻辑是如何在与现实的交互中发挥作用。
::...
免责声明:
当前网页内容, 由 大妈 ZoomQuiet 使用工具: ScrapBook :: Firefox Extension 人工从互联网中收集并分享;
内容版权归原作者所有;
本人对内容的有效性/合法性不承担任何强制性责任.
若有不妥, 欢迎评注提醒:

或是邮件反馈可也:
askdama[AT]googlegroups.com


点击注册~> 获得 100$ 体验券: DigitalOcean Referral Badge

订阅 substack 体验古早写作:


关注公众号, 持续获得相关各种嗯哼:
zoomquiet


自怼圈/年度番新

DU22.4
关于 ~ DebugUself with DAMA ;-)
粤ICP备18025058号-1
公安备案号: 44049002000656 ...::