![]() |
|
![]() |
楼主(阅:33/回:0)新数学规则设想 为了更彻底地脱离 CMS,我们可以设想如何将规则 f(t) = 1 - 10^(-t) “翻译”成更原始的 NMS 操作。 假设我们在 NMS 中已经原生地定义了: 后继操作(像皮亚诺公理) 加法、乘法 作为基于时钟步的有限过程。 十进制位置系统 作为一个构造规则。 那么,规则 f(t) 可以被定义为: 规则名称: (t, f, y) 规则定义: 初始化:在 t=0,设置一个字符串 s = "0." 对于时钟步 t >= 1: 在字符串 s 的末尾追加一个字符 "9"。 输出 y 就是当前时钟步下字符串 s 所代表的数值。 在这个定义下: t=0: s = "0." -> y = 0 t=1: s = "0.9" -> y = 0.9 t=2: s = "0.99" -> y = 0.99 ... 这个规则 没有使用 1, 10, ^ 这些来自 CMS 的“黑箱”符号。它完全通过 NMS 内部的、动态的、有限的操作(字符串操作)来实现完全相同的行为。这里的 y 不是一个在 CMS 意义下“逼近1”的数,它就是一个在不断发展变化的字符串所对应的值。 跑跑啦航模 讯客分类信息网 ![]() |