手机浏览器扫描二维码访问
【写在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
小马宝莉:向死而生 万族至仙 女修凶猛 全民求生,左眼探测右眼杀戮 京海教父:开局杀掉安欣 星空战记 龙王出狱,我靠师姐就能无敌 大明:开局断绝朱允炆帝王路 上古仙医在都市 超能觉醒,妖魔鬼怪真香 仙界神算子 天降鬼才 能力不死,弱小无助还可怜 西幻:我在异世做圣女 都市绝代战神 仙路九万万里 我,一等废根骨,吊打各路天才! 懿哥梦 系统带我去浪 未来将临之宇宙终结
噗呲!一柄尖锐的苦无,刺穿了上杉彻的心脏。敌人带着对我的仇恨,死吧!十分钟后。上杉彻敌人你怎么还不死?上杉彻没办法,死不了。一拳捶爆了敌人的脑袋,上杉彻面无表情地将插在胸口的苦无拔了出来。苟是不可能苟的。既然死不了,那就往死里浪。如果您喜欢木叶我被诅咒了不死之身,别忘记分享给朋友...
坏消息这只皇帝会读心!Σ⊙▽⊙a好消息这只皇帝读不了她的心! ̄︶ ̄坏消息但是她被皇帝盯上了!o╥﹏╥o穿越就算了,居然还穿到后宫!穿到后宫就算了,居然还是架空的大宣朝后宫!而且还是个被毁了容的悲催的小才人!悲催阿荼,后宫谋生。皇帝明昭你不要对朕心存妄想!阿荼好滴好滴一段时间过后皇帝明昭朕对你心有妄想。阿荼这个皇帝有猫病!如果您喜欢这只皇帝会读心,别忘记分享给朋友...
李思在等红绿灯时,玩着一款诡异游戏,一辆超速的汽车辗压了他。死亡后,他发现他竟然重生到了这个诡异游戏世界中。现实世界没有诡异,但是在这个游戏世界中,诡异却是真实存在的。又名重生在诡异游戏世界如果您喜欢诡异世界生存手册,别忘记分享给朋友...
盛骞因为一场意外成了植物人,万薏,一个可静可动可逗比的女孩,因为家庭原因,基本全能,什么都会,因为某些原因被卖给了盛母做了盛骞的老婆,没想到盛骞苏醒了。万薏想功成身退了,人家醒了,给人家一个和前女友复合的空间吧。谁知道这人死活不去领离婚证。万薏怒,遇见他以后十次出门九次劫,放过她给她留条命不行吗!...
一生守护。她是二十一世纪的强悍灵魂,是让人闻风丧胆的佣兵女魔头,是最年轻的指挥官,是神是魔,亦正亦邪。许是前世活得太肆意妄为,所以老天罚她穿到了花名在外的西华国六公主身上,为了一个男人远嫁东昌。大婚前清白被毁,大婚当日被夫君羞辱与画像拜堂,被嬷嬷逼着验身。面对欺负,邪魅一笑,利剑劈画像,掌掴严嬷嬷,不惧恶名。他是手段铁血,杀伐果决的战神皇叔,征战四方,威名赫赫,受世人敬仰。初见没想到东昌国的战神皇叔是这般仙姿绝色,早知我便嫁你了,本宫还未踏进这端王府的门,是否可以反悔?公主应唤我一声皇叔。若我不愿呢?世人嫌她,厌她,笑她,只有他对她宠爱有加,信任始终。他是她的光和救赎,也是她心中小心翼翼的挚爱。各国风起云涌,权谋算计,既然世人容不下她,她便颠覆了这天下。她率百万大军兵临城下,只为逼婚云薄瑾,你可愿娶我?天下纷乱复杂,因他,她改变了主意。陪他热血征战,拨乱反正,只为百姓士民,安堵乐业。农不易亩,市不回肆。但愿人长久,千里共同途。如果您喜欢女帝逼婚敌国皇叔,别忘记分享给朋友...
石梓轩的世界是灰色的。直到龙倚天的出现。她仿佛天使,温暖了他的灵魂宛若一道光,点亮了他的人生。从此,他的世界春暖花开。但红尘滚滚,充满了欲望与陷阱。纵是天使,在无尽的诱惑下,也会折翼,堕落成魔。龙倚天出轨了。石梓的世界也坍塌了。他快刀斩乱麻,从此一别两宽,各生欢喜。但冥冥之中,两个人的命运早已相互交织,纠缠不清。...