勒文海姆

✍ dations ◷ 2025-11-18 15:55:20 #勒文海姆

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

相关

医学信息学人体解剖学 - 人体生理学组织学 - 胚胎学人体寄生虫学 - 免疫学病理学 - 病理生理学细胞学 - 营养学流行病学 - 药理学 - 毒理学医学信息学，或称卫生信息学或医学资讯
β-受体阻滞药β受体阻断药（英语：Beta blockers），又称Beta受体阻断药、β受体阻断剂、β受体阻滞剂、β受体拮抗剂或β阻断药、乙型阻断剂，是一类用来治疗心律不齐、防止心脏病发作后的二次心
栉水母动物门栉水母（Ctenophores），又名海胡桃，是一类两胚层动物，属辐射对称动物，现被划分为栉水母动物门（学名：Ctenophora），又名有栉动物门、栉板动物门。原和刺丝胞动物一起分在腔肠动物门，作为无
毛细血管内增生性肾小球肾炎毛细血管内增生性肾小球肾炎(Endocapillary proliferative glomerulonephritis)是肾小球肾炎(Glomerulonephritis)的一种形式，它可以与肾炎有关。这可能与细小病毒B19(Parvov
假病毒科假病毒属 Pseudovirus 半病毒属 Hemivirus假病毒科（Pseudoviridae），又译作伪病毒科，是一种拥有反转录酶的单链RNA病毒。该类病毒主要感染真菌和无脊椎动物。其下有二属：
诺贝尔奖诺贝尔奖（瑞典语：Nobel priset，挪威语：Nobel prisen，英语：Nobel Prize），是根据瑞典化学家阿尔弗雷德·诺贝尔的遗嘱于1901年开始每年颁发的五个奖项，包括：物理、化学、生理学或医学、
酵母菌纲酵母菌纲（学名：Saccharomycetes）是在真菌界的子囊菌门以下的纲，是酵母亚门以下唯一的纲。酵母菌纲中只有一个目，是酵母菌目（Saccharomycetales）。酵母菌纲之下包括有近千个已知物种
CXCL11MGS, 1MSG, 1MSH, 1ROD· chemokine activity · enzyme activator activity· inflammatory response · immune response · signal transduction · G-protein coup
发展心理学异常心理学行为遗传学生物心理学心理药物学认知心理学比较心理学跨文化心理学文化心理学差异心理学（英语：Differential psychology）发展心理学演化心理学实验心理学
2006年联合国秘书长选举科菲·安南潘基文2006年联合国秘书长选举旨在选出一名新任联合国秘书长，以接替任期将于2006年12月31日结束第二届任期的时任秘书长科菲·安南。此次选举共有七名候选人，来自韩