威廉·阿克曼

✍ dations ◷ 2025-09-09 17:05:40 #1896年出生,1962年逝世,20世纪数学家,德国数学家,逻辑学家,明斯特大学教师,哥廷根大学校友,北莱因-西发里亚人

威廉·阿克曼(德语:Wilhelm Ackermann,1896年3月29日-1962年12月24日),德国数学家,最著名的成果是计算理论的重要例子阿克曼函数。

1928年他跟大卫·希尔伯特合写《理论逻辑原理》()。他又写了 (North Holland, 1954)。

他死于德国,终年66岁。

相关

  • 翁贝托·埃可翁贝托·埃科(意大利语:Umberto Eco,意大利语:,1932年1月5日-2016年2月19日)是一名意大利小说家、文学评论者、哲学家、符号学家和大学教授。除了严肃的学术著作外,著有大量的小说和
  • 托勒密八世托勒密八世·费斯康(施惠者二世)Πτολεμαίος Η' Ευεργέτης Β' ή Φύσκων(约前182年—前116年6月26日)埃及托勒密王朝国王(前170年—前163年,前145年—
  • 石油化工石油化学(Petrochemistry)是研究石油及其产品的组成和性质、石化过程的一门学科。其中最常见的两大类产物分别为:烯烃和芳香烃。炼油厂借由流化催化裂化提炼生产烯烃和芳香烃。
  • kʟ̝̊清软颚边塞擦音(Voiceless velar lateral affricate)是一种不寻常的辅音,被使用于一些口语中。其国际音标(IPA)表示为⟨kʟ̝̊⟩。此音见于一些高加索地区语言,并在一些南非和东
  • Cantharoidea花萤科(Cantharidae),又称菊虎科,为鞘翅目下的一科,属于叩头虫总科的一支。目前已知超过130属5000种,分属5个亚科。该科成员一般体态修长、鞘翅柔软,且许多种类具有鲜艳的警戒色。
  • 林鼠亚科林鼠亚科(学名:Neotominae)是啮齿目仓鼠科的一个亚科,分布于美洲,种类很多:
  • 邦咯条约《邦咯条约》或称《1874年邦咯协定》,是1874年1月20日由海峡殖民地总督克拉克(Andrew Clarke)与霹雳苏丹和当时的两大华人私会党(海山和义兴)领袖在英国军舰HMS Pluto所签订的条
  • 氟硅酸氟硅酸、六氟硅酸是化学式为H2SiF6的无机化合物,只存在于溶液中。纯H2SiF6不稳定,容易分解生成HF和SiF4。H2SiF6是氟磷灰石与氢氟酸反应的副产物,反应生成的HF与硅酸盐矿物反应
  • 严於信严於信(1987年1月28日-),本名闫於信,生于浙江省台州市,籍贯陕西省,为中国中央电视台主持人。
  • 皮特·布伦南彼得·约瑟夫·布伦南(英语:Peter Joseph Brennan,1936年9月23日-2012年6月8日),美国NBA联盟前职业篮球运动员。他在1958年的NBA选秀中第1轮第4顺位被纽约尼克斯选中。