勒文海姆

✍ dations ◷ 2025-09-17 23:40:09 #勒文海姆
李奥帕德·勒文海姆(生于1878年6月26日,德国克雷费尔德;死于1957年5月5日,柏林)是一位德国数学家,主要成就在数理逻辑方面。纳粹政权强迫勒文海姆退休,因为在纽伦堡法案,他被认为只有四分之三的雅利安人血统。1943年,勒文海姆的大部分作品都在一次柏林的空袭下被摧毁了。不过,他在第二次世界大战后存活了下来,并且恢复教导数学的工作。勒文海姆于1915年给出了现在称之为勒文海姆–斯科伦定理的第一个证明,此一定理通常被认为是模型论的起点。&    ∨    ¬    ~    →    ⊃    ≡    |    ∀    ∃    ⊤    ⊥    ⊢    ⊨    ∴    ∵

相关

  • 助产师人体解剖学 - 人体生理学 组织学 - 胚胎学 人体寄生虫学 - 免疫学 病理学 - 病理生理学 细胞学 - 营养学 流行病学 - 药理学 - 毒理学接生员泛指一切从事接生工作,帮助产妇
  • 西班牙流感1918年流感大流行(英语:1918 flu pandemic)是于1918年1月至1920年12月间爆发的全球性甲型H1N1流感疫情,此次疫情造成全世界5亿人感染,5千万到1亿人死亡,传播范围达到太平洋群岛及
  • 信息信息(英语:Information),又称情报,是一个严谨的科学术语,其定义不统一,是由它的极端复杂性决定的,获取信息的主要方法为六何法。信息的表现形式多不胜数:声音、图片、温度、体积、颜
  • 计量经济学计量经济学(英语:Econometrics),又译经济计量学,是以数理经济学和数理统计学为方法论基础,对于经济问题试图对理论上的数量接近和经验(实证研究)上的数量接近这两者进行综合而产生的
  • 磺胺甲氧甲嘧啶磺胺甲氧甲嘧啶是一种长效磺胺类药物,其INN名称是“Sulfametomidine”。该药物可用于治疗由细菌感染引发的疾病等病症。该药物在血液中的半衰期尚不明确。该药物依化学本质可
  • 雌三醇雌三醇(Estriol , oestriol, E3)是人类三种主要的雌激素之一。雌二醇和雌酮的代谢产物。在雌酮、雌二醇、雌三醇中,以雌三醇的活性最弱。存在于尿中,在怀孕期尿中含量更高。未怀孕
  • 血管神经性水肿血管神经性水肿是真皮、皮下组织(英语:subcutaneous tissue)、黏膜的局部肿胀。可发生于面部、舌头、喉、腹部、四肢。常与荨麻疹相关,荨麻疹是皮肤的红肿。 Onset is typically
  • 通农县通农县(越南语:Huyện Thông Nông/.mw-parser-output .han-nom{font-family:"Nom Na Tong","Han-Nom Gothic","Han-Nom Ming","HAN NOM A","HAN NOM B","Ming-Lt-HKSCS-UNI-H
  • 卡尔加里大学© 卡尔加里大学校徽卡尔加里大学(University of Calgary)位于加拿大艾伯塔省卡尔加里的西北部,是加拿大前排名前七的研究性大学之一。它的前身是阿尔伯塔大学卡尔加里分校。19
  • 日本国会政治主题国会(日语:国会/こっかい kokkai ?)为日本的最高权力机构与立法机构,现今依《日本国宪法》而设置,采两院制,由众议院与参议院构成。今众议院议员设465席、参议院议员设24