李奥帕德·勒文海姆

✍ dations ◷ 2025-01-31 14:19:56 #1878年出生,1957年逝世,德国数学家,20世纪数学家,柏林洪堡大学校友

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

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

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

相关

  • 国家侦查局美国国家侦察局(National Reconnaissance Office,NRO),位于美国维吉尼亚州,是美国的16个情报机构之一;负责为美国政府设计、组装并发射侦察卫星。 并协调、收集和分析从中央情报
  • PFR反应器的外观反应器的内部剖视图化学反应器(英语:chemical reactor)是化工生产或实验上进行化学反应的装置,简称反应器,在工业上亦有工业反应器的别称。反应器主要功能是控制反应
  • GeOsub2/sub二氧化锗,化学式GeO2。白色粉末或无色结晶,为四方晶系、六方晶系或无定形体。六方结晶与β-石英同构,锗为四配位;四方结晶具有超石英型结构,类似于金红石,其中锗为六配位。 高压下
  • 周卫健周卫健(1953年3月23日-),出生于贵州贵阳,籍贯河南南乐,中国第四纪地质学家。出生于贵州贵阳,籍贯河南南乐。中国科学院地球环境研究所黄土与第四纪地质国家重点实验室主任。1976年
  • 盘龙峡坐标:23°21′38″N 111°49′40″E / 23.3606°N 111.8277°E / 23.3606; 111.8277盘龙峡是中国广东省肇庆市德庆县的一个旅游景点,以瀑布及漂流著名。盘龙峡的游览内容有上
  • 大坵屿大坵村位于台湾海峡西侧,现为中华民国辖下乌坵乡的行政区,现由金门县代管。中华人民共和国方面将其划为福建省莆田市秀屿区湄洲镇乌坵村。该村四面环海,包含主岛大坵屿以及邻近
  • 票票不等值分配是一个立法机构的席位分配给各行政区划席次的过程。日本新闻报导常以“一票的价值”(1票の価値)称之,若分配不当,媒体也会以“一票的差距”(一票の格差)来报导,日本总务省也会
  • 棉兰老穆斯林自治区棉兰老穆斯林自治区(他加禄语:Rehiyong Awtonomo ng Muslim Mindanao)是1989年-2019年存在于菲律宾南部的一个穆斯林自治区,包括了以穆斯林人口为主的巴西兰省(除伊萨贝拉市(英语:Is
  • 东安子鸡东安子鸡也叫东安鸡、官保鸡,是东安县著名的湘菜,被誉为八大湘菜之首。东安子鸡具有浓郁的香味而不浑浊,略微带有湘菜的辣味,十分酥软,白、红、绿、黄四色相映,视觉上也略胜一筹。
  • 甲状腺髓质癌甲状腺髓质癌(Medullary thyroid cancer,简称MTC)为一种发源自滤泡旁细胞(C细胞)的甲状腺癌,可以分泌降钙素。甲状腺髓质癌为第三常见的甲状腺癌症,占甲状腺癌总数的3%。大约四分之