李奥帕德·勒文海姆

✍ dations ◷ 2025-09-30 14:05:41 #1878年出生,1957年逝世,德国数学家,20世纪数学家,柏林洪堡大学校友

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

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

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

相关

  • 利什曼原虫L. aethiopica L. amazonensis L. arabica L. archibaldi (disputed species) L. aristedesi L. (Viannia) braziliensis L. chagasi (syn. L. infantum) L. (Viannia) colo
  • 玉米油粟米油,又称玉米胚芽油(简称玉米油),是从玉米的胚芽中提炼的植物油,含有丰富的不饱和脂肪酸(以油酸和亚油酸为主)、维生素E及多酚类物质;不含胆固醇。冒烟点比较其他的食油低,不适合
  • 双相障碍躁郁症(英语:bipolar disorder,亦称双相情感障碍、情绪两极症,早期称为躁狂抑郁疾病、manic depression),是一种精神病经历情绪的亢奋期和抑郁期。情绪亢奋期(躁期)可分为“狂躁”或
  • 4,5-二氢乳清酸4,5-二氢乳清酸(英语:4,5-Dihydroorotic acid),或者简称二氢乳清酸(英语:Dihydroorotic acid)是一种乳清酸衍生物,是嘧啶生物合成的中间产物。医学导航:遗传代谢缺陷代谢、k,c/g/r/p/
  • 安纳布尔纳峰安纳布尔纳峰(英语:Annapurna,梵语、尼泊尔语、尼瓦尔语:अन्नपूर्ण)位于喜马拉雅山脉、尼泊尔中北部境内,海拔8,091米,是世界第十高峰。安纳布尔纳山峦长55公里(34英里),包括
  • Canalipalpata见内文管触须下纲(学名:Canalipalpata),旧作管触须目,是环节动物多毛纲之下的一个分类元,下领31个科。管触须下纲的物种均没有牙或下颚,当中大部分均为滤食性动物。触肢有开槽,外有
  • 尼日尔河尼日尔河(Niger River)是西非最大的河流,发源于几内亚南部边境的富塔贾隆高原,曲折流向东北,在马里东部折向东南,再流经尼日尔和尼日利亚注入几内亚湾。长4,184公里(全球第十三,非洲
  • 维塔士维塔士(英语:Virtuos)是一家总部位于中国上海的电子游戏开发商,提供游戏及电影产业数字娱乐产品服务,于2004年建立。除了位于新加坡的公司总部和研发中心,此外维塔士还在上海、成
  • 朝鲜共产党已消亡已放弃共产主义意识形态已消亡已放弃共产主义意识形态已消亡已放弃共产主义意识形态已消亡已消亡已放弃共产主义意识形态朝鲜共产党(朝鲜语:조선 공산당)是朝鲜半岛历史
  • 干岩头村干岩头村位于中国湖南省永州市零陵区富家桥镇,又称涧岩头,是中国历史文化名村。有保存较完好的6个明清古建筑院落,其中最大的一座(周家大院)建于清同治年间。坐标:26°01′19″N