手机浏览器扫描二维码访问
第1章 上一章注释001（第1页）
【写在8月25日20:53，发布后发现上下标给我全滤了?，我调整一下，过会儿再看】
硬核程度：☆☆☆☆☆
涉及领域：计算理论
大标题：三种函数外加三种操作怎样解决所有可计算问题？为什么偏递归函数可以制造无限循环？
可能是全网最不报菜名、最不装比的解释。
以下开始：
首先，什么是可计算？
可计算就是指，有一个算法，我们把它交付给计算机后，计算机可以像执行一个函数一样，接受我们给它的输入，然后返回输出，这个输出就是我们想要的答案。
为了方便描述，先行约定一下数学符号。
假设我们有一个乘法器，叫做mult，它可以接受一对整数作为输入，把它们相乘后输出一个整数。
比如，输入（3，4）输出12
输入（6，2）输出12
输入（0，6）输出0
这时，我们把这些输入数对叫做domain，输出的一个数叫做codomain。如果我们用Z来代表全体整数集，那么这个平平无奇的乘法器就可以用数学符号表示为：
mult:Z^2→Z
中间的这个→表示这个mult是一个totalfunction，也许可以称作“全函数”吧，意思是每一个domain里的输入，都能对应一个codomain里的输出。
与全函数相对应的是，是“偏函数”。对于偏函数，对于有些输入，它并不能给出输出。比如一个除法器，当我们给它（6，0）时，它输出不了任何东西。这个除法器可以表示为：
div:Z^2—Z
这里的单横线代表这是一个偏函数（其实应该用半箭头表示，但在这里打不出来）
好了，定义好符号之后，就可以清爽地描述我们的三种基本函数：后继函数、零函数、投影函数。
后继函数：succ:N→N，succ（x）=x+1，N代表自然数集。我们给它2，它输出3；给它3它输出4。总之就是往上+1.
零函数：zero:Nn→N，zero=0。不管给它什么，它都输出0.
投影函数：projn:Nn→N，projin（x1，...，xn）=xi。它接受长度为n的输入，输出第i个自然数。比如，proj22（1，3）=3。
好了，盖大楼的砖块一共就这么三种，接下来把它们组合在一起就行了。
我们定义一个叫“组合”的函数f，它的功能是把n个函数组合在一起：
f:Nn—N
具体的，如果每一个被组合的函数g都可以接受同一组参数（x1，...，xm），那么组合n个g函数的操作可以被表示为：
f·[g1，...，gn]:Nm—N
展开为：
f·[g1，...，gn]（x1，...，xm）=f（g1（x1，...，xm），...，gn（x1，...，xm））
举个栗子：
我们构造一个函数one，one（x）=1，即：不论给它什么输入，它都输出为1，那么：
one（x）=succ（0）=succ（zero（x））
即：succ·[zero]=one
验证一下：
succ·[zero]（x）=succ（zero（x））=succ（0）=1
天机阁来了个帅赘婿 权力巅峰：从退伍后当教官开始 大英帝国的神秘职员 神狐降世，冷清夫君别太凶 神起在风华 荒诞怪谈类竞选 久别重逢在相爱 综影视：花欲燃待君温 都市修真之风再起 冠世仙龙 团宠五零：我靠异界交易暴富了 内卷修仙后我从废柴成为了团宠 梦启东梁 八方守庙人 铁血丹心将军印 修行之征途 我真的有在努力当死神啊！ 弟弟外债要我背？开局身份卡系统 天才成长实录 坏了！末世后我被反派盯上了
万里追狼
关于万里追狼白龙，它不是龙，也不是马，它是一条白色的狗，是60年代华北地区某村的一条狗王。在那个狼灾泛滥的时代，白龙在主人福哥的照料下，历经坎坷，从一条小狗崽成长为一条勇猛的狗王，并和村里的狗一起担负起守卫村庄的责任。由此与村庄周围的狼群结仇，几番恶战，斗智斗勇。。。...
带着系统穿九零，开局先挖自己坟
顾子书带着薅来的金手指重生了。好消息她又活了坏消息被埋土里了，死不死就是时间问题了。最终靠着系统和好心人，出土成功。结果刚醒就发现原主死的冤枉。被继姐推下水，继父一家子联合起来偷了自己的录取通知书，亲生母亲打着为她好的言论让她忍！这她能忍？该戴银手镯的戴银手镯，该唱铁窗泪的也安排上。至于她，当然是发家致富把学上...
足坛之开局点满任意球
关于足坛之开局点满任意球什么？竟然把任意球点满了，我明明点的是传球呀！！！沦为皇马队饮水机管理员的江浩，在一场国家德比最后时刻登场，以两粒直接任意球破门方式开始传奇人生。弗洛伦蒂诺我这辈子最大的错误，便是把江浩卖给巴伦西亚。齐达内我很幸运，江浩没有出生在我们那个年代。C罗江浩是历史最佳，我不如他。贝尔难以想象，我竟然会在速度上被人碾压。拉莫斯这家伙不是惧怕对抗吗，怎么铲不动？梅西...
仙道猎人
林风穿越到了一个诡异的世界，成了凌虚观的一名小道士。但这世界原本的规则早已破碎，破碎的仙道流落到各种生物手中，滋生出无数邪仙异教。林风在机缘巧合下，被疯子师父血肉附体，还换上了一颗恶鬼的心脏，变成一个半人半鬼的怪物。红月，血雨，尸林倒挂，白蜡油翻滚中人祭，万人朝拜的黄金树，连绵不断的尸垛，不死癫狂的难民，佛世净土中...
林家有女整治家风
关于林家有女整治家风种田宅斗大女主无金手指无cp脾气暴躁一言不合就咬人村中有四霸恶狗公羊大鹅和林三丫林瑶睁开眼就目睹了家徒四壁，那叫一个寒酸。再睁眼又目睹了泼妇骂街，得不想动嘴打一顿就好了。从此林家三丫性情大变一言不合就开撕。重男轻女的偏心祖母，心思深沉祖父，独木难支的后娘，软弱无能的亲爹。上有两个任人欺辱的姐姐，下有两个后娘生的弟妹，更有恶毒叔伯一窝好吃懒做筛子精，真真是极品凑了一堆。从此...
诸天带着随身空间到了四合院世界
关于诸天带着随身空间到了四合院世界陈琦莫名穿越，来到一片湖心岛，发现拥有空间之后，并感应到世界种子，按其要求吸收物质供给小世界之种，然后就被排斥到四合院世界，开局城门口，因为衣服新颖而被误认为富家公子而被放行，进入城内遇到还在卖包子的未成年何雨柱，阻止了他被人骗，改变了他获得外号的命运，从而改变了主角的命运从其身上获得了气运，得到了一定的庇护避免了被四合院世界排斥而赶出世界。之后陈琦靠着何雨柱的帮助进入了四合院租了院子安定下来，靠着小世界的养殖种植能力，通过何大清介绍给丰泽园供应食材，之后开肉铺，接手杂货铺，开商行，买地，生意越做越大，于是很多事情很多人也纷至沓来，蝴蝶效应直接造成何大清成了丰泽园二厨，并再娶了。而陈琦只想收集这个世界的各种动植物然后去诸天寻找永生。持续的获取气运使得小世界内开始出现了生成中的四合院世界的信标传送门，完成之后就可以在离开这个世界之后就可以随时回到四合院世界。现在开启了荒野大镖客2救赎的第一幕第一个世界，四合院，第1章124章第二世界，荒野西部大镖客2125章第三世界，港综第四个世界待定。...