简介

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

IMPORTANT

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

变量

• 变量具有可变性

数量变量

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

对象变量

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

关系/函数

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

属性

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

依赖

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

解决问题

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

TIP

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

计算机程序

编写程序

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

组合性

以下两个性质是计算机编程与物理造物的本质区别：

• 多样性：被组合物的多样性、易获取性
• 自动化：组合之后计算的不耗能性

TIP

被组合物，类似于 npm库中的组件、逻辑单元等

TIP

组合可以理解为连接，传统的连接需要人工来耗能来实现

TIP

不耗能性指的是不消耗人的精力