勒文海姆

✍ dations ◷ 2025-05-15 12:22:35 #勒文海姆

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

相关

重复DNA序列生物细胞中的DNA序列里面包含许多重复序列（repeated sequence），主要可分为两大类，分别是串联重复序列（也叫串接重复序列，Tandem repeat）与散在重复序列（Interspersed repeat）。串联
便秘便秘是指因粪便会太硬或是太干而排便不顺或难以排出的状况。一般而言，正常排便的频率约在每日三次到每周三次之间，便秘的并发症包含痔疮、肛裂、粪便阻塞。不同患者对便秘的描
组织 (生物学)组织旧称
牛瘟牛瘟病毒（德语：Rinderpest，英语：cattle plague或steppe murrain），是一种具感染性的牛只病毒，会引起牛瘟。这种病毒性疾病主要传染于水牛之间，但其他野生品种也有致病的记录。牛瘟与
反核运动反核运动是一个反对核能应用的社会运动。在各区域与国际上，都有直接行动团体、环保团体或专业人士组织参与反核运动。较大的此种组织有国际防止核战争医生组织、核裁军运动、
主要组织相容性复合物主要组织相容性复合体（major histocompatibility complex，MHC），又称主要组织相容性复合基因，是存在于大部分脊椎动物基因组中的一个基因家族，与免疫系统密切相关，其中人类的MHC糖蛋
阿维农阿维尼翁（法语：Avignon，法语发音：.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000","Gentium",
尤因氏肉瘤尤文氏肉瘤（英语:Ewing's sarcoma）又称为尤因肉瘤、未分化网状细胞瘤。原于骨髓内的原始细胞,是常见骨的恶性肿瘤。系美国的病理学家詹姆斯·尤因（James Ewing）于1921年首先报道
包茎包茎（Phimosis）是一种不能将阴茎包皮拉到龟头后面的病症，排尿时可能会出现包皮下似气球般的肿胀。在青少年和成人时，可能在勃起时会疼痛，但在其他时候不会疼痛。受影响的人有较
海葵毒素岩沙海葵毒素（英语：Palytoxin，又称沙群海葵毒素，或简称为海葵毒素）含有129个碳原子，64个手性中心。白色粉末，无固定熔点，加热至300℃炭化。是一类从沙群海葵科岩沙海葵中提取的水溶