勒文海姆

✍ dations ◷ 2025-10-28 20:39:39 #勒文海姆

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

相关

炭疽病炭疽病（英语：anthrax）是由炭疽杆菌感染造成的疾病，感染途径包括皮肤接触、呼吸道、消化道以及注射等四种，通常在感染一天至两个月后开始出现症状，经由皮肤接触的感染起初会出现小
生态学生态学（德语：Ökologie），是德国生物学家恩斯特·海克尔于1866年定义的一个概念：生态学是研究生物体与其周围环境（包括非生物环境和生物环境）相互关系的科学。德语Ökologie（最初：Oeco
妥布霉素Neonates < 1200 g: 11 hrs; > 1200 g 2-9 hrs Adults: 2-3 hours; longer with impaired renal function妥布霉素（Tobramycin）也叫托普霉素，是一种氨基糖苷类抗生素，能用于治
癫痫癫痫症（英语：Epilepsy），是一种神经性疾患（英语：Neurological disorders），特征为反复地癫痫发作，即为重复发作或长或短的严重抽搐症状，可能会造成物理性伤害，甚至骨折。癫痫症的定义是，患
CD4+ T细胞辅助T细胞（T helper cells, Th），又称为助手型T细胞，是一种T细胞（白细胞的一种），它的表面有抗原受体，可以辨识抗原提呈细胞的MHC-II类分子呈献的抗原片段。一旦受到抗原刺激，Th细胞就
儿汤郡儿汤郡（日语：児湯郡／こゆぐん Koyu gun */?）是日本宫崎县辖下的一个郡。现辖有以下5町1村：过去的辖区曾包括现在的西都市全境和日向市的部分地区。
EBV人类疱疹病毒第四型（拉丁语：Epstein-Barr virus，缩写EBV、爱泼斯坦-巴尔病毒、 human herpesvirus 4 (HHV-4)），又称为EB病毒，是最常见能引起人类疾病的病毒之一。EBV是在公元1964
手手是人或其他灵长类动物臂前端的一部分，由五只手指以及手掌组成，主要是用来抓和握住东西，两个手相互对称，互为镜像。除了天生有残缺或有增生，一般人有左手和右手各一，每只手有五只
数量性状基因座数量性状基因座（英语：Quantitative trait loci，简称为QTLs）是一段含主控或联系数量性状的基因的DNA。可通过如AFLP或更常见的SNP等分子标签将这些控制数量性状的基因定位到基因
安那托利亚语族安那托利亚语族是印欧语系下的一族语言（在有些分类中，此族不属于印欧语系，但极为接近）。此语族语言曾在小亚细亚使用，目前已消亡，包括赫梯语、卢维语（“赫梯象形文字”使用的语言）和