简介

• 这是一套综合了布尔逻辑、和关系网络的强计算主义且关系本体论的世界观，不仅可用于描述计算机程序和系统，也可用于描述和理解客观世界。
• 本质在于布尔变量以及变量之间的关系：与、或、非。

IMPORTANT

在人工智能高速发展的今天，计算主义越来越证明其描述客观世界的适用性。

变量

• 变量具有可变性

数量变量

• 任何数量变量都由命题(布尔变量)组成
• 数量变量的本质是命题(布尔变量)

对象变量

• 对象即命题(布尔变量)的集合

关系/函数

• 变量A变化引起了变量B的变化
• 二元关系本质上是相等、不相等（非）两种
• 三元关系本质上是与、或两种
• 关系就是函数

属性

• 属性是事物与他物之间的关系
• 属性可以用来区分事物与他物
• 有差异则必然有广义的方向、顺序

依赖

• A与B是C的必要条件
• C依赖A、C依赖B

解决问题

• 修改变量为指定值
• 需要耗费能量

TIP

来自人的能量就是精力，来自机器的能量就是电能

TIP

事物甚至可以由解决它的问题的方法的不同来定义，因为本质上是关系的不同，即影响它的方法的不同。

计算机程序

写程序是：

1. 自己定义了一些变量
2. 并把它连接到真实世界
3. 这些变量开始受真实世界影响
4. 或者影响现实世界
5. 即自己设计一个关系网络

TIP

程序修改了世界的因果关系和规则(并且具有自动性：自己产生变化、不消耗人的精力)

TIP

因果链（包括自定义的因果链）的运行需要能量，只不过计算机花的是电能，人类花的是精力。