李奥帕德·勒文海姆

✍ dations ◷ 2025-05-17 19:46:40 #1878年出生,1957年逝世,德国数学家,20世纪数学家,柏林洪堡大学校友

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

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

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

相关

  • 胆道胆管为胆汁由肝脏传送至十二指肠的一个管道。肝内的胆小管逐级合并成左、右肝管,出肝门再合成为肝总管;肝总管与胆囊管汇合成胆总管。肝细胞持续不断的制造胆汁浓缩并储存于胆
  • 吞噬吞噬作用(英语:phagocytosis,来自古希腊语φαγεῖν)亦称吞食、噬菌作用,是吞噬细胞和原生动物通过细胞膜从周围环境摄取固体颗粒,并在其内部形成吞噬体的过程。吞噬作用是细胞
  • 真空采血管真空采血管(Vacutainer)是一种真空无菌玻璃或塑料管封闭的血液收集管,管内的真空促进预定的液体量疏入。这种真空管通常用来静脉采血,也有的用来收集尿液样本。真空管管壁有时会
  • 一元谓词演算在逻辑中,一元谓词演算是所有谓词字母都是一元(就是只接受一个参数)并且没有函数字母的谓词演算。所有原子公式都有形式 P ( x
  • 气态磷分子磷的同素异形体有许多种,其中白磷和红磷最为常见。另外还存在紫磷和黑磷。气态磷单质中有P2分子与磷原子。白磷(因商品白磷常带黄色,故又称为黄磷:180),分子式P4,为白色固体,质软。
  • abbr class=abbr title=S53: 防止暴露:使用前需获特别指导S53/abbr安全建议标准词(英语:Safety phrases,简写:S-phrases)是于《欧盟指导标准67/548/EEC 附录Ⅳ: 有关危险物品与其储备的安全建议》里定义。该列表被集中并再出版于指导标准2001/59/
  • 台湾闽南语用词陶文 ‧ 甲骨文 ‧ 金文 ‧ 古文 ‧ 石鼓文籀文 ‧ 鸟虫书 ‧ 篆书(大篆 ‧  小篆)隶书 ‧ 楷书 ‧ 行书 ‧ 草书漆书 ‧  书法 ‧ 飞白书笔画 ‧ 
  • 甘珀酸甘珀酸(英语:Carbenoxolone,缩写CBX)是一种甾体激素类似物,为甘草次酸与丁二酸在3β羟基位置形成的酯,和光果甘草根部中提取的甘草酸结构上类似。甘珀酸可抑制11β-羟基类固醇脱氢
  • 以阿战争北大西洋公约组织中东战争,或称阿以战争,是指以色列立国后与埃及、叙利亚等周围阿拉伯国家所进行的五次大规模战争。冲突至今尚未平息。犹太人是一个源自古代近东地区的民族。
  • 海军兵学校海军兵学校(日语:かいぐんへいがっこう、1876年─1945年),旧大日本帝国海军培养海军军官的军事学校。海军兵学校、海军机关学校与海军经理学校是旧日本帝国海军三大学校,在二次大