李奥帕德·勒文海姆

✍ dations ◷ 2025-12-03 01:28:14 #1878年出生,1957年逝世,德国数学家,20世纪数学家,柏林洪堡大学校友

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

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

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

相关

  • 三联疫苗三联疫苗可以指:
  • 血液干细胞干细胞(英语:stem cell)是原始且未特化的细胞,它是未充分分化、具有再生各种组织器官的潜在功能的一类细胞。干细胞存在所有多细胞组织里,能经由有丝分裂与分化来分裂成多种的特
  • 牛脂牛脂指的是来自牛肉脂肪组织的食用脂肪。室温下为白色或浅黄色的固体,可以室温放置一段时间而不变质。可以用来烹调。麦当劳公司早期炸薯条使用的是93%牛脂和7%棉籽油的混合
  • 光系统 I光系统 I( PSI,或质体蓝素 - 铁氧还蛋白氧化还原酶 )是藻类、植物和一些细菌的光合作用光反应中的第二个光系统。 光系统  I是一种完整的膜蛋白复合物,它使用光能,以产生高能量
  • 开悟法融牛头宗|弘忍东山宗 – 神秀北宗禅|惠能南宗禅 – 北荷泽宗|南洪州宗|南石头宗|保唐宗惠能系曹溪南宗 –悟,在佛教中与“迷”相对,是佛教徒的修行目的,指依佛陀所教导的真理修
  • 含族含姆,或者翻译为含(英语:Ham,希伯来语:.mw-parser-output .script-hebrew,.mw-parser-output .script-Hebr{font-size:1.15em;font-family:"Ezra SIL","Ezra SIL SR","Keter Aram
  • 娱乐软件分级标签娱乐软件分级委员会(英语:Entertainment Software Rating Board;ESRB)是一家对在北美销售的电子游戏和其他娱乐软件进行分级的行业自律机构。它在1994年由娱乐软件协会(Entertain
  • 机会致病菌机会性感染又名伺机性感染(英语:opportunistic infection)是指由机会性病原体引发的感染。这些病原体寄生于免疫功能正常的健康宿主时不致病,但会在宿主出现免疫缺陷时入侵宿主
  • 深圳西站深圳西站是平南铁路的一个铁路车站,位于广东省深圳市南山区南山街道,由于车站位于南头治所附近,因此当地俗称为南头火车西站。该车站是一个客货运车站,现时有办理长途客运服务。
  • 马卡蒂马卡蒂(英语:Makati),又译马卡迪、马卡第、马加智(闽南语白话字:Má-ka-tì)是组成菲律宾马尼拉大都会的16座城市之一。马卡蒂是菲律宾的金融中心,全国最高密度的国际企业与本地企业