李奥帕德·勒文海姆

✍ dations ◷ 2024-12-22 20:29:38 #1878年出生,1957年逝世,德国数学家,20世纪数学家,柏林洪堡大学校友

李奥帕德·勒文海姆（生于1878年6月26日，德国克雷费尔德；死于1957年5月5日，柏林）是一位德国数学家，主要成就在数理逻辑方面。纳粹政权强迫勒文海姆退休，因为在纽伦堡法案，他被认为只有四分之三的雅利安人血统。1943年，勒文海姆的大部分作品都在一次柏林的空袭下被摧毁了。不过，他在第二次世界大战后存活了下来，并且恢复教导数学的工作。

勒文海姆于1915年给出了现在称之为勒文海姆–斯科伦定理的第一个证明，此一定理通常被认为是模型论的起点。

& ∨ ¬ ~ → ⊃ ≡ | ∀ ∃ ⊤ ⊥ ⊢ ⊨ ∴ ∵

相关

转氨酶增高转氨酶（Transaminase）是一种催化转氨基反应的转移酶，将氨基酸的α-氨基转移到一种α-酮酸上。人体内最重要的转氨酶为谷丙转氨酶和谷草转氨酶，都是肝功能测试的重要指标。EC 1.1
血影蛋白血影蛋白（Spectrin），一种细胞结构蛋白，大多位于红血球细胞膜内侧，是红血球骨架的主要成分。血影蛋白在整个细胞膜内侧形成可变形的架构，以维持红血球的双凹圆盘构造。血影蛋白形成
美式足球美式足球（英语：American football，在美国本土则只称为“football”）另称美式橄榄球或美式榄球，是在美国流行的一种由英式橄榄球衍生而来的竞技体育运动。美式足球与加拿大式足球
国际标准化组织国际标准化组织（英语：International Organization for Standardization，简称：ISO）成立于1947年2月23日，制定全世界工商业国际标准的国际标准建立机构。ISO总部设于瑞士日内瓦，成员
马尿酸马尿酸（Hippuric acid），学名苯甲酰胺乙酸，分子式C9H9NO3，结构简式C6H5CONHCH2CO2H，该词起源于希腊语的Hippos（horse）和ouron（urine）。它是一种在马和草食性动物尿液中发现的有机酸。苯
受害者学受害者学主要研究受害过程，包括受害者和罪犯之间的关系、受害者和刑事司法系统（即员警、法院和惩戒官员）的互动、以及受害者和其他社会团体或机构（如媒体、企业和社会运动）之间的
珍妮·盖诺珍妮·盖诺（英语：Janet Gaynor，1906年10月6日－1984年9月14日）是一位美国女演员和画家，曾获得奥斯卡最佳女主角奖。
李枝长李枝长，直隶静海县（今天津市静海区）人，清朝政治人物。顺治十五年（1658年）戊戌科进士，授四川宜宾县知县。
杨　昆杨昆（1963年－），原名杨崑，云南昆明人，祖籍山东，中国大陆女演员。代表作有《十六岁的花季》、《婆婆媳妇小姑》、《笑傲江湖》等。曾获第十七届中国电视金鹰奖最佳女配角奖。
农谢农谢（高棉语：នួន ជា，罗马化：Nuon Chea；1926年7月7日－2019年8月4日）是前柬埔寨共产党和红色高棉政权的“二号人物”，曾经担任党中央委员会副书记和政治局常委，地位仅次于总书记波