勒文海姆

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

相关

  • 融合抑制剂融合抑制剂(fusion inhibitor),又称为进入抑制剂(entry inhibitor),是一种抗艾滋病靶向药物,能够防止艾滋病病毒(HIV)与质膜融合从而阻断HIV感染CD4+ T细胞。融合抑制剂不仅能避免HIV
  • 乳清蛋白乳清蛋白(英文:Whey Protein)是由乳清(生产干酪所产生的液体副产品)当中提炼出来的一种球状蛋白质混合物。乳清蛋白常作为膳食补充剂出售和使用。生产干酪时,牛奶凝结后所剩的液体
  • 孕龄孕龄(Gestational age)也称为妊娠年龄或怀孕周数,是量测怀孕周数的方式,是由孕妇最后一次月经(LMP)开始时为准来计算孕龄,或是用更精确的方式来推算的年龄。若用其他方式推算,例如从
  • 萨瓦河萨瓦河(塞尔维亚语:Сава,克罗地亚语:Sava,德语:Save, 匈牙利语:Száva)是流经东欧的一条河流。萨瓦河流经斯洛文尼亚、克罗地亚、波斯尼亚赫塞哥维纳和塞尔维亚,在贝尔格莱
  • 欧里庇得斯欧里庇得斯(希腊语:Ἐυριπίδης,前480年-前406年)与埃斯库罗斯和索福克勒斯并称为希腊三大悲剧大师,他一生共创作了九十二部作品,保留至今的有十七部。对于欧里庇得斯的评价
  • 主体主体(Subject)在哲学上指的是一个拥有独特的意识并且/或者拥有独特个人经历的存在,或者另一个外在于其自身并与其有关系的实体。主体是观察者,客体是被观察者。这一概念在大陆哲
  • 干燥综合征干燥综合征,又名修格连氏综合征,或者舍格伦综合征。该病的英文名称为Sjögren's syndrome(发音为/ˈʃoʊɡrənz/,又称为Mikulicz disease及Sicca syndrome,是一种长期的自身免
  • 太平洋群岛位于大洋洲的三大岛群:密克罗尼西亚(Micronesia,希腊语字根为“小岛”之义) 位于赤道以北,西太平洋,包括:马绍尔群岛、关岛、瑙鲁、帕劳等。美拉尼西亚(Melanesia,希腊语字根为“黑人
  • 复合性原理在数学、语义学和语言哲学中,复合性原理是指,一个复杂表达式的意义是由其各组成部分的意义以及用以结合它们的规则来决定的。复合性原理认为,在有意义的句子中,如果实词部分被从
  • 形式证明数学上,一个公理系统(英语:Axiomatic system,或称公理化系统,公理体系,公理化体系)是一个公理的集合,从中一些或全部公理可以一并用来逻辑地导出定理。一个数学理论由一个公理系统和