李奥帕德·勒文海姆

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

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

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

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

相关

  • 多地起源说现代人类多区域起源说(Multiregional origin of modern humans,又译多地起源说)是一个用来解释人类演化的科学模型。该学说的现代版本称为多地进化(英语:multiregional evolution
  • 荚果荚果是果实的一种类型,属于单果,是豆科植物特有的果实类型,心皮只有一枚(单心皮)许多荚果以及其中包含的种子被人类当作蔬菜、粮食或中药食用,如大豆、豌豆、槐树角等,常见的荚果包
  • 桃红葡萄酒桃红葡萄酒 (法语:Vin rosé,名称来自法语的 rosé,,葡萄牙语与西班牙语:rosado,意大利语:rosato),又称桃红酒或粉红酒,,是葡萄酒的一种,其颜色来自于葡萄皮,但只够将颜色变成粉红色,还不
  • 章动章动(Nutation)是在行星或陀螺仪的自转运动中,轴在进动中的一种轻微不规则运动,使自转轴在方向的改变中出现如“点头”般的摇晃现象。行星的章动来自于潮汐力所引起的进动,并使得
  • 附果附果(英语:Accessory fruit,或称为假果)指子房以外的其他之构造发育而成的果实称之为假果,而是由花萼、花冠,甚至是整个花体序参与发育而成的果实,其结构比正常果实复杂得多。相对
  • 海地共和国银行海地共和国银行(法语:Banque de la République d'Haïti BRH)是海地的中央银行。该行积极推行金融融合政策,是金融联盟的成员机构。2013年,银行颁布了《玛雅宣言承诺书》以推进
  • 华夷之辨华夷秩序,或称华夷之辨、夷夏之辨、天下秩序、夷夏大防,原是上古中原人用于区辨中原华夏与蛮夷的一种概念。中国历史上“华夷之辨”的衡量标准大致有三个:血缘,地缘,以及衣饰、礼
  • 东京地铁地下铁是日本首都东京重要的大众运输系统,也是世界上最繁忙的城市轨道交通系统之一。东京的地下铁主要有下列3种定义,但大多是指定义1:东京是全亚洲最早有地铁路线的城市,最早营
  • 兰溪市兰溪市是中国浙江省下辖的一个县级市,现由金华市代管。总面积为1310平方千米,占省域面积的1.3%。2010年全市常住人口为56.05万人,户籍人口为66.34万人,户籍人口比常住人口多10.2
  • 中州名贤文表《中州名贤文表》,明代刘昌编,三十卷。《中州名贤文表》辑载元代河南人物遗文,有许衡六卷、姚遂八卷、马祖常五卷、许有壬三卷、王恽六卷、孛术鲁翀二卷。意在表彰诸贤,又有考证