470
个编辑
更改
跳到导航
跳到搜索
第73行：
第73行： + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
形式语言对于严格论证很重要，统一一下符号
==== 形式语言 ====
==== 形式语言 ====
符号f,g是函数，也可理解成映射和变换，它作用到输入x或y或z上，形式化成f(x)或g(y)。左右小括号()表示函数的作用范围，作用范围内，可以填入运行参数。前述操作可以是更高阶的，即对于相同的输入，可以作用多次。多次且相同的作用，我们称为指数次或幂次，记为<math>f^n, n \in \Z^+</math>。
例如：
<math>
f_3f_2f_1(x) \tag {1}
</math>
其中<math>f_1,f_2,f_3</math>为相同的作用，数学上之所以没有写成<math>f_1 = f_2 = f_3</math>，估计是因为一般函数接受输入作为参数，带给我们的主要印象是变化。
可以记为
<math>
f^3(x), \tag {2}
</math>
也可以记为
<math>
f^n(x), n=3. \tag {3}
</math>
对于不同的函数（映射、变换）和作用，一般习惯使用不同的符号，比同f和g。它们可以先后依次作用于某种输入，作为形式语言的参数，比如有输入x待被5次映射：
<math>
\Box_5\Box_4\Box_3\Box_2\Box_1(x) \tag {4}
</math>
我们可以填空并实例化为
<math>
f_5f_4g_3f_2f_1(x) \tag {5}
</math>
再整理成：
<math>
f^2g^1f^3(x) \tag {6}
</math>
以上是函数的形式化。对于输入同样可以形式化，即输入也可以有多位，且可以不断拆分和聚合。这时我们一般用大写的X表示输入整体，输入的每个元素用小写的x，并且将元素赋予下标（索引），从而得出：
<math>
f(x_1x_2x_3) \tag {7}
</math>
令<math>X=x_1x_2x_3</math>，7式也可写为：
<math>
f(X) \tag {8}
</math>
这只是形式语言的基本内容，后续会补充相应文字和公式。
===== 形式论证 =====
===== 形式论证 =====
===== 哥德尔数（<math>G\ddot{o}del\ number</math>）=====
===== 哥德尔数（<math>G\ddot{o}del\ number</math>）=====