手机浏览器扫描二维码访问
第六百七十四章 丘奇的λ演算计算（第1页）
一阶逻辑是一种不能量化的简单的属性逻辑。与高阶逻辑和数理逻辑不一样。它不允许量化性质。性质是一个物体的特性；所以一个红色物体被表述为有红色的特性。
里面有很多“任意有”和“必须存在”这样的符号。
我们可以大胆地设想，把整个数学理论内容用一阶逻辑表达式全部写出来，成果就像是一本”天书“，一般人很难看得懂。但是，布尔巴基学派偏要这样做，否则，似乎不够”意思“，不过”瘾“。因此，我们能够想像，在布尔巴基的《数学基础丛书》里面各种稀奇古怪的数学谓词多得去了。对此，有人说，这纯粹是形式主义，但是，也有人说，这就是现代数学的本来面目。
1935年，邱奇发明了“λ演算”，来源证明一阶逻辑没有通用判定而发明的，但对于今天的计算机科学家是一件无价的工具。
在函数式语言中，函数的排列更像是个链条，而不是我们说些的那些方程式。意思是后一个函数可以从前一个函数得出。
写出一个函数后，也要写出要带入的变量的值，这样在计算过程中就可以让变量值和带入值进行交换就可以了。丘奇发明这种演算后，他的学生们完善了这种工具。
同年邱奇出版了《初等数论中的一个未解决问题》。其中包含了邱奇定理，它表明算术没有判定程序。在理论计算机科学中，有了可计算性概念复严格的数学刻划，才使证明一系列重要的数学问题的算法不可解性成为可能。
递归函数是一个自己调用自己的函数。
“算法可计算函数都是递归函数”这一丘奇论题提出，算法可计算性这个直观概念才有了精确的数学刻划。
丘奇虽然不是搞计算机的，但是他的这些工具都服务于计算机了，图灵证明自己的图灵机器里很多东西跟丘奇的演算理论等价。
喜欢数学心请大家收藏：（）数学心
都市之：仙途逆袭 鬼灭RPG为美好的世界献上帝君 啊，张嘴！天道又追着福宝喂饭了 夏夜撕咬 丘比特今夜失明 恋爱脑治疗指南 肥妃有福，双面王爷倾世妃 恋爱脑女配谁爱当谁当[快穿] 大帝禁区：师傅死后，我疯了 永恒大陆之命运 哭错坟后她掉马了 群友全穿越！就我在地球 全球异变：小透明她成了神界之主 混迹两年余，我咸鱼身份藏不住了 我的员工全是言情女主 问道第一季之疯魔 宗门全是美强惨，小师妹是真疯批 [娱乐圈同人] 巨星驾到 如果男主太晚才出现 君为依[重生]
美女总裁的小白脸
屌丝的我娶到了一个美女总裁，可没想到新婚夜她竟然作者QQ277963193...
宠婚：隐婚总裁太腹黑
老公想离婚，竟然给她钱让她去找别人！当她华丽回归时，身份显赫。前夫一脸震惊，安然，你请叫我雷太太，谢谢！都说二婚女人生活会很艰难，但是安然发现她的第二婚，不管是在家还是外面，竟然都是被宠宠宠到底！...
霸剑圣尊
流云宗弟子郑辰遭暗算致死，却被一代剑尊附体重生。殿试大比展剑技，入剑冢，吞剑气，修剑意，不入同盟，自创剑盟。三宗论剑，夺得阳城第一剑。前一世的剑尊，再耀今世的辉煌。一位少年一柄青风，一条血路。...
小皇帝慢点，疼！
意外身死穿越到陌生朝代，薄柳之成了忠烈侯祁暮景的妻，侯府的女霸王。祁暮景宠她，疼她，她要天上的云，绝不给她地上的草。祁暮景会抱着她或温柔或粗暴的吻她，抚遍她的全身，他情动如山，却始终不要她。薄柳之不懂，也闹过，祁暮景只是轻轻拂过她的发，冲她温柔的笑，知儿，你还小他的这份怜惜，十六岁的薄柳之，曾偷偷窃喜感动。啪，声音脆响，力道十足十，薄柳之高仰着头，怒视床帏内衣裳凌乱的女人，贱货！啪，清泠若仙的男子终是盛怒，举起的手还在微微颤抖，薄柳之，你这妒妇！薄柳之嘴角绽血，撩出一弯决然凄美，祁暮景，你既然宁愿上一只鸡也不愿意上我，你为什么六年前要娶我？薄柳之，你无法无天我无法无天也是你惯的！那一夜，薄柳之被罚跪房门外，一双耳，听了整夜的巫山云雨。第二天，她当着家中主仆上百人的面将手中休书丢在祁暮景那张清俊的脸上，无视他眼中震惊，转身高傲的离开。妖冶魅邪的小皇帝当着满朝文武大臣将她压于龙座之上，一双手甚至孟浪的往她小腹下钻去，之之，给祁暮景祁侯爷告御状来了，恩？！吓蒙了的薄柳之。全天下的人都知道，当年六岁便登基为皇的小皇帝拓跋聿看上了二十二岁的祁家弃妇薄柳之。许三千恩宠，誓无二独一。东陵二十年，帝都发生了二件大事，使得朝野动荡，百姓叹观，他国蠢蠢欲动。一为忠烈侯祁暮景突然暴毙，祁家一夜之间灭门，无一生还。二为小皇帝拓跋聿广发告示，颁布圣旨，举行了一场旷世冥婚，立薄氏柳之为后，谥号昭仁，一并立的还有小皇帝将将足月的小女儿，赐号青禾公主。从此，君王霸朝五载，举国嗟叹红颜祸水！聿哥哥，夫子说，滴水之恩当涌泉相报。小肉团眨着大眼睛摇着小扇蒲软糯糯道。拓跋聿挑眉看了眼粉团身后低着头的夫子，那青禾打算如何报答聿哥哥？聿哥哥养了青禾五年，肯定需要好多滴水，青禾无以为报，愿以身相许夫子瀑布汗，怒了，靠！拓跋青禾，老娘不说话，你当你老娘死的啊啊啊…！！！小青禾懵了，夫子好变态，竟然说老娘，娘，娘此文女主火爆，男主重口，男配没人性，绝不危言耸听！！！...
医手遮天：狂君噬情
出身医学世家的天才少女，自小就拥有极高的医学天赋，提早完成学业，费尽口舌征取来三年自由时间，踏入从小就好奇的商界，展开探索之旅。他是人所公认的商界神话，仅仅短短十年时间，创造自己的商业帝国，俊美无俦，冷酷狂傲，视女人如玩物，却在一次偶然间听到那小女孩清冷的一段话，狠狠撞入一向冷硬不知情滋味的心跳楼的目的不就是威胁我以达到他的目的吗？命是他的与我何关？这个女孩引起了狂君注意，誓要把这朵骄傲如梅的小女孩纳入怀抱独赏。从而展开了追逐与抗衡的爱恨纠缠。...
官路逍遥
他有着纵横人间的无上法宝，洞悉一切的妖异双目，享尽艳福和权力巅峰！仕途争斗人际关系，政绩权谋，雄关漫道！多少次升沉起伏奇计百出，堪称仕途写照美女权势谁不...