李奥帕德·勒文海姆

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

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

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

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

相关

  • 先天性疾病先天性障碍,又称先天性疾病、先天畸形、先天缺陷,是指发育中的胎儿因为遗传性疾病或发育环境等因素导致某个部位特征结构畸形,导致在婴儿出生时即有的病症,包括了身体(英语:Physic
  • 双壳类双壳纲(学名:Bivalvia),又名斧足纲或瓣鳃纲,是软体动物门的一个纲,生于海洋及淡水地区因有两片贝壳而得名。现存有9200种左右,体长达135厘米。本纲动物的头部已经退化,足部呈斧状,体
  • DNA (消歧义)DNA,可指以下事物:
  • 阳离子离子 (英语:Ion)是指原子或原子基团失去或得到一个或几个电子而形成的带电荷的个子。得失电子的过程称为电离,电离过程的能量变化可以用电离能来衡量。在化学反应中,通常是金属元
  • 装修装修,又称室内布置,是把室内空间整理及布置妥当的工作,与室内设计有密切关系。装修承建商与室内设计师各有分工和合作的关系。
  • 奥林匹克景气奥林匹克景气(日语:オリンピック景気)是指日本1962年11月至1964年10月由于夏季奥运会的举办而带来的经济高速发展。1964年夏季奥林匹克运动会在东京举办。奥运会使日本大大加快
  • 弗拉芒广播电视公司弗拉芒广播电视公司(Vlaamse Radio- en Televisieomroeporganisatie)是比利时的一个公共广播电视公司,播出地区是弗拉芒地区。1930年,比利时广播广播公司成立。比利时国家广播公
  • 马来西亚语马来西亚语(Bahasa Malaysia)或称标准马来语(Bahasa Melayu Baku),是指马来西亚所使用的一种马来语,是柔佛-廖内方言的一种标准化版本。虽然马来西亚的官方语言按照该国宪法所定为
  • 朝阳县朝阳县是辽宁省朝阳市下辖的一个县。朝阳县境春秋时期为东胡地。战国和秦代时属辽西郡。西汉时属柳城、孤苏县地。东汉时属辽西郡柳城县地,东汉末为鲜卑族慕容部落占据。西晋
  • 花菜汤饭馔花菜是朝鲜半岛一类传统甜品的统称,这种甜品是把水果、花瓣加入蜂蜜水或五味子水里制成,最常见的是五味子花菜(오미자화채),这可以指加入五味子为主要食材的花菜,也可以指把