数的五条公理系统。”
“根据这五条公理可以建立起一阶算术系统,也称皮亚诺算术系统。“
“皮亚诺的这五条公理用非形式化的方法叙述如下:10是自然数;2每一个确定的自然数 a,都有一个确定的后继数x',x'也是自然数(一个数的后继数就是紧接在这个数后面的数,例如,1的后继数是2,2的后继数是3等等);”
“3如果b、c都是自然数a的后继数,那么b = c;40不是任何自然数的后继数;”
“5设s是自然数集的一个子集,且(1)0属于s;(2)如果n属于s,那么n'也属于s。更正式的定义如下:一个戴德金-皮亚诺结构是这样的一个三元组(x, x, f),其中x是一个集合,x为x中一个元素,f是x到自身的映射,”
“且符合以下条件:x不在f的值域内;f为一个单射;若x∈a 且“ a∈a 蕴涵 f(a)∈a“,则a=x。该结构所引出的关于自然数集合的基本假设:1.n(自然数集)不是空集;2.n到n内存在a→a'的一一映射;”
“后继元素映射的像的集合是n的真子集,事实上即n\{1}(或n\{0});”
“若n的子集p既含有非后继元素的元素,又有含有子集中每个元素的后继元素,则此子集与n相等。”
“ 1+1的证明:∵1+1的后继数是1的后继数的后继数,即3,∴2的后继数是3。”
“根据皮亚诺公理3,可得:1+1=2。”
没获得学生们的回应,李逸转身开始在用粉笔抒写答案,一边抒写,一边讲解。
就在学生们差不多理解了这个皮亚诺公理的时候,李逸话风一转,指着这个公式道:“在设计人工智能底层构架的时候,我们可以借用这个公式,将1设为人工智能的准则根基,另一个1设为人工