哈哈电子书

手机浏览器扫描二维码访问

第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

万族至仙  星空战记  天降鬼才  我,一等废根骨,吊打各路天才!  未来将临之宇宙终结  西幻:我在异世做圣女  仙界神算子  懿哥梦  全民求生,左眼探测右眼杀戮  小马宝莉:向死而生  能力不死,弱小无助还可怜  女修凶猛  龙王出狱,我靠师姐就能无敌  上古仙医在都市  大明:开局断绝朱允炆帝王路  系统带我去浪  仙路九万万里  都市绝代战神  京海教父:开局杀掉安欣  超能觉醒,妖魔鬼怪真香  

热门小说推荐
重生之神级大富豪

重生之神级大富豪

重生之神级大富豪简介emspemsp重生之神级大富豪是仙人的经典都市言情类作品,重生之神级大富豪主要讲述了依靠前世记忆,他创造了超级商业帝国。凭借一双铁拳,他站到了诸仙人最新鼎力大作,年度必看都市言情。禁忌书屋提供重生之神级...

剑宗旁门

剑宗旁门

偶然寻回了前世地球人记忆的剑宗小道童准备发车开飚了!可惜这个世界太残酷,身在剑宗结果剑法天负,最终只能入了旁门修炼。天裂剑宗以剑法称雄,旁门自然不得真传。但后人评说那一年,剑宗走上了歪路如果您喜欢剑宗旁门,别忘记分享给朋友...

重生科技学霸

重生科技学霸

学霸?还是科技?从学霸到科技学霸,这是一个从学霸开始的故事!。。。。扣扣群984133864如果您喜欢重生科技学霸,别忘记分享给朋友...

失忆后总有大佬想娶我

失忆后总有大佬想娶我

天雷滚滚,杞夏一觉醒来,发现自己居然失忆了!狗血之余,她还冒出来五个未婚夫,而且个顶个的委屈,这究竟是道德的论丧,还是人性的毁灭?为免强人所难,杞夏只好把亲事一个个退了,众男神却纷纷表示强扭的瓜也很甜!郁校草又帅又傲虽然我没那么喜欢你,但你可以勉强做我的女朋友!傅医生温柔矜贵我的命是你救的,应该以身相许!穆影帝高贵迷人我的一切都是你给的,为了你我愿意放下一切!沈教授斯文儒雅本来是打算把你嫁给我弟弟,后来觉得我们也挺配!某人轻咳了两声总得有个先来后到。杞夏抽了抽嘴角不好意思,本人只想搞事业,想结婚的出门右拐找别人去。(1V1双洁,互宠)如果您喜欢失忆后总有大佬想娶我,别忘记分享给朋友...

美漫大镖客

美漫大镖客

我喜欢做好事,因为它能使我心情愉悦(增强体魄)。可我又不得不强迫自己做点不好的事,这都是为了让英雄们时刻保持警惕(提升能量)。当我一次次殴打反派甚至是英雄的时候,我发自内心地希望他们能被自己的良知唤醒或是促使他的心灵蜕变从而更加强大(会掉技能卡)。总体而言,毋庸置疑,我是一个好人,只不过我拥有极其灵活的道德底线。如果您喜欢美漫大镖客,别忘记分享给朋友...

偏执总裁的天劫医后

偏执总裁的天劫医后

方雷子婴重生,她决定彻底改变曾经所经历的一切,不再谦和有礼,不再以德服人,更不再做一个眼瞎到把渣男当王子,为他牺牲宝贵生命的女战神,她要开个小诊所,当个小医生,没事治治病,闲来撩撩人。※我亲爱滴老婆,门口来了个自称九劫散仙的五道真人,说想请你帮他渡劫飞升某总裁堵在大门口,一脸阴沉,死死拦着那个桃花眼直朝屋里瞅的五道真人,咬牙切齿。哦,叫他按照一万吨黄金兑换成RMB,五分钟之内打到我卡上。否则,这一单不接。五道真人汗好贵!如果您喜欢偏执总裁的天劫医后,别忘记分享给朋友...

每日热搜小说推荐