勒文海姆

✍ dations ◷ 2025-01-22 23:51:10 #勒文海姆

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

相关

小核糖核酸病毒Enterovirus Rhinovirus Hepatovirus Cardiovirus Apthovirus Parechovirus Erbovirus Kobuvirus Teschovirus微小核糖核酸病毒科（picornaviridae）是没有套膜、正股RNA、正20
唇炎唇炎，也就是嘴唇发炎，主要症状为嘴唇干燥、脱皮、皲裂、结痂，有时还出现水泡、渗出液。引发唇炎的病因很多，其中以嘴唇受到口水或外物刺激，及嘴唇对外物过敏较为常见。如果患者平
782医学导航：泌尿系统解剖／生理／发育／细胞病理／酸碱／先天／肿瘤、症状／齐名、尿液手术／注射、药物（G4B）、血检、尿检
桃子桃（学名：Prunus persica）是蔷薇科李属一种，花可以观赏，果实多汁，作为水果，可以生食或制桃脯、罐头等，核仁也可以食用。果肉有白色和黄色的，一般在亚洲最受欢迎的品种多为白色果肉，香甜
克里米亚-刚果出血热克里米雅–刚果出血热（Crimean–Congo hemorrhagic fever，简称CCHF）是一种病毒导致的传染性疾病。症状包括发热、肌肉痛、头痛、呕吐、腹泻和皮肤瘀点，通常于暴露病原后2周内发
About.comDotdash.com（中文：阿邦网、前称：The Mining Company、MiningCo.com, Inc.、About, Inc.、About.com），美国的门户网站，创建于1997年4月21日，拥有Very Well、The Balance、Lifewire、
潘他密汀潘他密汀（英语：Pentamidine）是治疗寄生虫感染（英语：antimicrobial）的药物，如非洲人类锥虫、利什曼原虫、巴贝氏虫（英语：babesiosis）。也可以让免疫功能低下患者用来预防及治疗肺囊虫肺
心肌梗死的判断心电图（Electrocardiography、ECG 或者 EKG）是一种经胸腔的以时间为单位记录心脏的电生理活动，并通过皮肤上的电极捕捉并记录下来的诊疗技术。这是一种无创性的记录方式。Elect
哺乳类动物哺乳动物是指脊椎动物亚门下哺乳纲（学名：Mammalia）的一类用肺呼吸空气的温血脊椎动物，因能通过乳腺分泌乳汁来给幼体哺乳而得名。按照《世界哺乳动物物种》（Mammal Species of th
升主动脉升主动脉（Aorta ascendens）为主动脉与左心室交接的部分，始于第三肋间软骨下缘，并沿胸骨左半边上行。升主动脉有左冠状动脉和右冠状动脉（英语：right coronary artery）两分支，供应心脏