李奥帕德·勒文海姆

✍ dations ◷ 2025-04-26 23:06:05 #1878年出生,1957年逝世,德国数学家,20世纪数学家,柏林洪堡大学校友

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

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

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

相关

  • 季风季风(又称季候风)是周期性的风,随着季节变化,并且盛行风向(40%以上风频)季节切变达120度以上(按照传统定义,非全球性季风定义)。主要发生在季风亚洲(东亚、东南亚、南亚地区)、西非几内
  • 印度空间研究组织name = 'Aero', description = '航空太空科技(航空航天科技)', content = {{ type = 'text', text = [=[本页面没有类似于NoteTA的数量限制。 请自行修改分类名。在NoteTA样板
  • 福建省截至2019年,中华民国福建省法理上辖有两个二级行政区,全数为县,分别为金门县和连江县。其中,前者是中华民国福建省最大、人口数最多、人口密度最大和下辖三级行政区数最多的二级
  • 英国航太英国宇航公司(英语:British Aerospace),简称BAe,是英国一家飞机制造商、武器及防御系统承包商,总部位于汉普郡法恩堡的航空科技中心。1999年,英国宇航公司收购了英国通用电气旗下马
  • 元建模元模型(或称替代模型)是“模型的模型”, 元建模则指建立元模型的过程(meta-physics 为”形而上学“,即“科学的科学”)。因此,元建模的工作包括:分析、构建和开发一套用于给某类指定
  • 性精神病态《性精神病态》或译为《性心理疾病》(拉丁语:Psychopathia Sexualis),发表于1886年,其作者理查德·克拉夫特·埃宾(Richard von Krafft-Ebing)采用传统的临床精神病学方法,搜集各种
  • 竹山镇坐标:23°41′20″N 120°43′44″E / 23.688904°N 120.728821°E / 23.688904; 120.728821 (Jhushan)竹山镇(台湾话:.mw-parser-output .sans-serif{font-family:-apple-syst
  • 琼雷语琼雷话是语言学中对闽语里面的海南话(琼文话)与雷州话的合称。海南话与雷州话均脱胎自古代闽南语。宋代末期,由于战乱,大量闽南人离开故乡,迁徙到雷州半岛和海南岛沿海一带。他们
  • 性别特征性别特征(英语:Sexual characteristics)是生物体(通常是两性异形生物体)的身体上或行为特征,其表示为生物性别。区分物种的性别可以包括用于繁殖的性器官和第二性征表征,第二性征不
  • 峇冬加里屠杀惨案1950年1951年1954年1956年峇冬加里大屠杀(英语:Batang Kali Massacre),是马来亚紧急状态时,马来西亚所发生英国军队涉嫌屠杀村民的事件。1948年12月1日至2日之间,英军指控村民为马