李奥帕德·勒文海姆

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

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

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

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

相关

  • 2s2 2p22, 4第一:1086.5 kJ·mol−1 第二:2352.6 kJ·mol−1 第三:4620.5 kJ·mol−1 (钻石六方主条目:碳的同位素碳(Carbon,拉丁文意为煤炭)是一种化学元素,符号为C,原子序数为6,
  • 环孢菌素环孢素(英语:Cyclosporine、Cyclosporine A、Ciclosporin)也称为“环孢菌素”或“环孢霉素”,是一种被广泛用于预防器官移植排斥的免疫抑制剂。它借由抑制T细胞的活性跟生长而达
  • 法文法语(français),中文也称法文,属于印欧语系罗曼语族的高卢-罗曼语支。法语和所有罗曼语族语言一样,都是从罗马帝国的拉丁语衍生的,法语从高卢地区(特别是北高卢)的拉丁语口语所演进
  • 太空旅游太空游客指非以执行任务(例如进行实验或工作)为目的,而搭乘航天器参与太空飞行的人。在苏联解体后,由于航天器的操作成本极大,同时要付给哈萨克拜科努尔航天中心地租与使用场地费
  • 硬腭音硬颚音(英语:Palatal consonant,也称硬颚辅音、上颚音),为以舌面接近或抵著硬颚部分(口腔上中部)而发出之辅音,属舌面音(舌面中音)。如以舌尖卷起回抵著硬腭而发的辅音则称之为卷舌音
  • 八字八字源自古代的中国,是一种利用天干和地支来准确记录年、月、日、时的方式,由“年干,年支”、“月干,月支”、“日干,日支”、“时干,时支”,共八个干支所组成(共八个字),年、月、日、
  • 镇远镇远号战舰是大清海军于德国的伏尔铿造船厂订购及建造的露炮塔铁甲舰—定远级铁甲舰之姊妹舰。当时有东亚第一坚舰之称。甲午战争期间被日本海军虏获,战后以战列舰的身份编入
  • 浙江省人民医院浙江省人民医院是杭州市的一家三级甲等医院,隶属于浙江省卫生厅,是浙江大学医学院等医学院校的教学医院。医院有朝晖和望江山两个院区,占地面积18.6万平米,医疗用房20万平米,核定
  • 汉城国立大学首尔大学(朝鲜语:서울대학교/서울大學校,英语:Seoul National University)是一所位于韩国首尔的国立大学。最早的直接前身是朝鲜高宗在1895年创建的法官养成所,后来的京城法学专门
  • 美国国家环境保护局美国国家环境保护署(英语:Environmental Protection Agency,缩写:EPA),简称美国环保署,是美国联邦政府一个独立行政机构,负责维护自然环境与保护人类健康不受环境危害及污染影响。EP