苏丹函数

✍ dations ◷ 2025-11-10 09:37:14 #苏丹函数

苏丹函数(Sudan function),是递归函数,但如同阿克曼函数,不能通过μ算子定义更广泛的偏递归函数类,因而不是原始递归函数。苏丹函数是第一个具有此属性的函数。

它于1927年由大卫·希尔伯特的学生罗马尼亚数学家加布里埃尔苏丹发现并发表。

相关

  • 安道尔安道尔公国(加泰罗尼亚语:Principat d'Andorra),也译作安道拉亲王国,通称安道尔,为一微型国家,国土面积468平方千米。是西南欧的内陆亲王国,位于比利牛斯山脉东南部,毗邻法国和西班牙
  • 合成代谢甾体蛋白同化甾类(英语:Anabolic steroid)是一种能够促进细胞的生长与分化,使肌肉扩增,甚至是骨头的强度与大小的甾体激素。同化激素是由天然来源的雄性激素经结构改造,降低雄激素活性
  • 科学大纲 §自然科学以下大纲是科学的主题概述:科学(英语:Science,希腊语:Επιστήμη)是通过经验实证的方法,对现象(原来指自然现象,现泛指包括社会现象等现象)进行归因的学科。科学活动所得的知识
  • 东昌里西海卫星发射基地(西海卫星发射场),又叫东仓里发射场,是位于朝鲜平安北道铁山郡的火箭发射场。在2012年4月13日,为庆祝金日成诞晨100周年朝鲜发射光明星3号但失败了,但在同年12月1
  • 本笃十四世教宗本笃十四世(拉丁语:Benedictus PP. XIV;1675年3月31日-1758年5月3日)原名波罗斯贝·兰贝尔蒂尼(Prospero Lambertini),1740年8月17日当选罗马主教,同年8月22日即位至1758年5月3日
  • 百衲本百衲本是古籍版本的一种。如果一部书是由很多不同的零散版本,参校汇编而成完整的书,这样的版本就是百衲本。清初宋荦曾用2种宋本、3种元本,凑成一部80卷的《史记》。20世纪30年
  • 文化束缚综合征文化束缚综合征(英语:Culture-bound syndrome)或称文化特异综合征(culture-specific syndrome)、种族精神病(folk-illness)、倚文化综合征 、文化囿限综合征、文化束缚精神综合征、
  • DoubleTap德林加手枪DoubleTap是一款由美国双连击防务有限责任公司所研制及生产、专为个人防护用途的双管式德林加手枪,有发射9×19毫米帕拉贝鲁姆弹与.45 ACP口径自动手枪子弹的版本。该枪的名
  • 让·莱缪沙特让·莱缪沙特(法语:Jean Rémusat,1815年-1880年9月1日),又译让·雷慕萨,是一位法国长笛演奏家、长笛音乐作曲家和指挥家。晚年定居在上海。让·莱缪沙特出生于波尔多。从1830年起,他在巴黎国立高等音乐舞蹈学院跟随长笛演奏家让-路易·图鲁(英语:Jean-Louis Tulou)学习。后来他搬到英国伦敦,并在女王陛下剧院演奏长笛。1853年剧院关闭后,他回到巴黎,并在莉莉库剧场(英语:Théâtre Lyrique)演奏长笛。大约在1865年,让·莱缪沙特移居上海并创办上海爱乐社。187
  • 卡拉里帕亚特卡拉里帕亚特(发音:.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000","Gentium","Gentium Alternative","TITUS Cyberbit Basic","Arial Unicode MS","IPAPANNEW","Chrysanthi Unicode","GentiumAlt","B