数理逻辑：公理化算术（8）有限算术
来源：互联网 发布：网络暴力 编辑：程序博客网 时间：2024/05/16 05:01
数理逻辑：公理化算术（8）
第8节 有限算术
如果我们在公理算术中删去完全归纳公理，则得到一个新的演算，这个演算就叫有限制算术，或有限算术，或限制算术。
不包含个体变量的递归项我们今后称为递归常量。
【定理】对于任意常量c，都存在一个数字z，使得等式
c = z
在有限算术中可推出。
我们下面就来证明这一命题。我们证明这样一个结果：
p1
- 数理逻辑：公理化算术（8）有限算术
- 数理逻辑：公理化算术（5）算术公理
- 数理逻辑：ch5.公理化算术（0）目录
- 数理逻辑：公理化算术（3）等价关系
- 数理逻辑：公理化算术（4）演绎定理
- 数理逻辑：公理化算术（7）递归项
- 数理逻辑：公理化算术（9）递归函数
- 数理逻辑：公理化算术（11）递归谓词
- 数理逻辑：公理化算术（15）可计算函数
- 数理逻辑：公理化算术（12）递归谓词的其他形成方法，有限量词
- 数理逻辑：公理化算术（16）公理算术中的一些定理
- 数理逻辑：公理化算术（1）项，扩充的谓词演算
- 数理逻辑：公理化算术（6）可推出公式的例子
- 数理逻辑：公理化算术（10）算术函数性质的公理可推出性与含义可推出性
- 数理逻辑：公理化算术（2）恒等谓词和个体函数的性质
- 数理逻辑：公理化算术（13）形成新递归项的例子
- 数理逻辑：公理化算术（14）可计算谓词和项的几个例子
- 数理逻辑：证明论初步（10）有限算术的无矛盾性
- MP算法和OMP算法及其思想
- 数理逻辑：公理化算术（7）递归项
- 那些所谓的中国企业(转)
- 我的第三十四个C++上机报告（数组大折腾）
- 国产InitPHP框架系列 - 两年沉淀，InitPHP3.2.2 框架发布，一个轻量级PHP框架
- 数理逻辑：公理化算术（8）有限算术
- zoj 1151 Word Reversal-------------输入输出超时
- Unity3D Shader官方教程翻译(二)
- snd_pcm_ops
- Unity3D Shader官方教程翻译(三)----Shader语法：属性
- 【JavaWeb前传系列】第04章_DIV与CSS标准化网页布局
- Linux Shell 通配符、元字符、转义符使用实例介绍
- Unity3D Shader官方教程翻译(四)----Shader语法：SubShader
- 数理逻辑：公理化算术（9）递归函数
