142
个编辑
更改
跳到导航
跳到搜索
第68行：
第68行： − −
→自指
===自指===
===自指===
# 如果“算”指的是“计算过程”，那么自指不是算法，而是不动点计算或定义中的关键要素。
# 如果“算”指的是“计算过程”，那么自指不是算法，而是不动点计算或定义中的关键要素。
# 如果“算”指的是“等价于”，那么可以说：在计算机科学和指称语义的核心模型中，一个（良定义的）自指（递归）的数学含义，就是一个不动点。自指是语法，不动点是语义。
# 如果“算”指的是“等价于”，那么可以说：在计算机科学和指称语义的核心模型中，一个（良定义的）自指（递归）的数学含义，就是一个不动点。自指是语法，不动点是语义。
# 自指是产生不动点现象和结构的源泉与表现形式，而不动点定理是理解和驯服自指（使其有意义、不矛盾）的数学工具和框架。
# 自指是产生不动点现象和结构的源泉与表现形式，而不动点定理是理解和驯服自指（使其有意义、不矛盾）的数学工具和框架。