勒文海姆

✍ dations ◷ 2025-08-07 23:18:57 #勒文海姆

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

相关

会厌会厌（epiglottis、会厌软骨）是覆盖了一层黏膜组织的软骨，和舌根部相连，位于舌头及舌骨稍微偏上的后方。人们通常容易将会厌或者扁桃体这两个词误认为是小舌。会厌形状如同一带柄
限制修饰系统限制修饰系统（英语：Restriction modification system）是一种存在于细菌（可能还有其他原核生物），可保护个体免于外来DNA（如噬菌体）的侵入。有些细菌体内含有限制酶，可将双股DNA切断，之
艾尔帕索艾尔帕索（西班牙语：El Paso）是美国德克萨斯州艾尔帕索县县治，位于德州极西部，隔格兰德河与墨西哥的华雷斯城相望。是该州第六大城、全国第十九大城市（2006年估计人口为609,415）。
蚯蚓蚯蚓是对环节动物门环带纲寡毛类动物的通称。在科学分类中，它们属于单向蚓目。身体细长，两侧对称，由很多环节组成，每节外形都很相似；没有骨骼，在体表覆盖一层具有色素的薄角质层。
雅典式民主雅典式民主或古希腊式民主是在公元前508年于古希腊城邦雅典（包括雅典的中心城邦及其周边的阿提卡地区）发展出的一套民主体系。雅典也因此成为最早的民主政体之一。虽然其他的
Boston新英格兰波士顿（英语：Boston）为美国马萨诸塞联邦（英语：Commonwealth (U.S. state)）首府，占地面积 48平方英里（124 km2），2018年居民总数为694,583位，是马萨诸塞乃至新英格兰地区人口最
汉萨同盟汉萨同盟（拉丁语：Hansa、Hansa Teutonica或Liga Hanseatica，英语：Hanseatic League，又译汉撒同盟和汉莎同盟），12-13世纪中欧的神圣罗马帝国与条顿骑士团诸城市之间形成的商业、政治
22人类的22号染色体是23对染色体的其中之一，人体细胞在正常状况下拥有一对。此染色体是第二小的人类染色体，拥有大约4900万个碱基对，占细胞中DNA数量的1.5%到2%。22号染色体是在1
婚假婚假是法律容许工作者因结婚而休假，工资如数支付。在世界上这是并不常见的法律，例子包括马耳他（两工作天 "two working days"）及爱尔兰。山西省是特别的享有30天的假期，青海省是
印刷体印刷体，指印刷时用的字体或类似印刷时用的字体。英文印刷体有Times New Roman等，中文印刷体有宋体等。印刷体横平竖直，字符框架搭得很规范。印刷体主要分为衬线体和非衬线体两