李奥帕德·勒文海姆

✍ dations ◷ 2025-04-04 06:44:29 #1878年出生,1957年逝世,德国数学家,20世纪数学家,柏林洪堡大学校友

李奥帕德·勒文海姆(生于1878年6月26日,德国克雷费尔德;死于1957年5月5日,柏林)是一位德国数学家,主要成就在数理逻辑方面。纳粹政权强迫勒文海姆退休,因为在纽伦堡法案,他被认为只有四分之三的雅利安人血统。1943年,勒文海姆的大部分作品都在一次柏林的空袭下被摧毁了。不过,他在第二次世界大战后存活了下来,并且恢复教导数学的工作。

勒文海姆于1915年给出了现在称之为勒文海姆–斯科伦定理的第一个证明,此一定理通常被认为是模型论的起点。

&   ∨   ¬   ~   →   ⊃   ≡   |   ∀   ∃   ⊤   ⊥   ⊢   ⊨   ∴   ∵

相关

  • 治愈治愈(英语:Cure)是指终止病况(英语:Medical condition)的物质或程序,例如药物、外科手术、生活方式改变、或有助于终结痛苦的哲学思维方式;或是指治疗中或已康复的状态。病况可以是
  • 论证在逻辑中,论证是基于叫做前提的一组断言,证明叫做结论的断言的真实性的尝试。演绎和归纳推理的证明过程形成了论证,并假定了某种交流方式,它可以是书写的文本、演讲或交谈。一般
  • 一万五千多年前人类在何时以何种方式迁入美洲的问题,引发了人类学家和考古学家巨大的兴趣,并且成为几个世纪以来一直争论不休的话题。学术界给出了许多古印地安人在美洲定居的模型。现代生物
  • 马赫-曾德尔干涉仪马赫-曾德尔干涉仪(Mach-Zehnder interferometer)是一种干涉仪,可以用来观测从单独光源发射的光束分裂成两道准直光束(英语:collimated light)之后,经过不同路径与介质所产生的相对
  • 优素福·哈比比帕夏鲁丁·优素福·哈比比(印尼文: Bacharuddin Jusuf Habibie 帮助·信息,1936年6月25日-2019年9月11日),印尼前总统。他是印尼自独立以来的第三任总统,在位期间是苏哈托下台后的
  • 玶常在玶常在(19世纪-1856年),瓦尔喀伊尔根觉罗氏,满洲正黄旗人。原任国子监祭酒彦昌的长女,笔帖式英淳的孙女,兵部尚书成格的曾孙女。咸丰帝之常在。玶常在家族的始祖赫臣在清初颇立功勋
  • 宋大祥宋大祥(1935年-2008年),中国动物学家,中国科学院院士,对推动中国蛛形学的发展和奠定中国现代蜘蛛学研究方面做出重要贡献。浙江省绍兴市人。宋大祥历任中国科学院动物学研究所副所
  • anusAnus即肛门,为动物消化系统消化道的最末端。其他也可以是指:
  • 扫雷舰队请负责验证本条目版权的维基人在标识侵权后,于Wikipedia:页面存废讨论/疑似侵权内容的部分加上: {{subst:CopyvioVFDRecord|1=日本扫雷舰队}} 并在本条目创建者的对话页中加入
  • Windows 95Windows 95是美国微软公司于1995年推出的电脑操作系统。Windows 95是一个混合的16位/32位Windows系统,其版本号为4.0,开发代号为Chicago。Windows 95是微软之前独立的操作系统