勒文海姆

✍ dations ◷ 2025-04-03 14:37:59 #勒文海姆
李奥帕德·勒文海姆(生于1878年6月26日,德国克雷费尔德;死于1957年5月5日,柏林)是一位德国数学家,主要成就在数理逻辑方面。纳粹政权强迫勒文海姆退休,因为在纽伦堡法案,他被认为只有四分之三的雅利安人血统。1943年,勒文海姆的大部分作品都在一次柏林的空袭下被摧毁了。不过,他在第二次世界大战后存活了下来,并且恢复教导数学的工作。勒文海姆于1915年给出了现在称之为勒文海姆–斯科伦定理的第一个证明,此一定理通常被认为是模型论的起点。&    ∨    ¬    ~    →    ⊃    ≡    |    ∀    ∃    ⊤    ⊥    ⊢    ⊨    ∴    ∵

相关

  • 链球菌等链球菌(学名:Streptococcus)是一类球形的革兰氏阳性细菌,属于厚壁菌门的一个属。这些细菌细胞分裂时总是沿一个轴,所以通常成对或者链状的。因为这些特征,他们被称作“链球菌”,
  • 精神药物精神药物(英语:psychoactive drug),又称精神药品(psychopharmaceutical,或psychotropic)。有些精神药品具有医疗和科学价值。一种化学物质的概称,这些物质能够穿越血脑屏障,直接作用
  • 导引图导引图是一种引导思考途径的关系式图像式思考辅助工具,指示事件发生的先后次序,含有逻辑上的判断(包含前提及结论)。
  • 极夜极夜,又称永夜,是在地球的两极地区,一日之内,太阳都在地平线以下的现象,即夜长为一个太阳日。如果太阳直射点在哪个半球,另个一个半球的极地附近就会出现极夜现象。极夜的范围与太
  • 牙齿牙齿存在于很多脊椎动物(鸟类除外)的头部(或口部)内、功能用于咀嚼食物的钙化组织。肉食性动物尤其倚赖牙齿进行猎食或搏斗、御敌。牙齿的构成成分不是骨骼,而是由动物体内不同
  • 官能基官能团(英语:Functional group),是决定有机化合物的化学性质的原子和原子团。根据所含π键的不同,不同的烃基官能团具有不同的性质。卤代烃中含有碳-卤素键,键能随卤素不同而有变
  • 全能悖论对宗教的批评 · 自由思想反教权主义 · 反宗教虚构宗教全能悖论(omnipotence paradox)是一组关于“全能”概念在语义学上的悖论,它包含两个方面的问题:一、一个全能的个体在逻
  • 醇是有机化合物的一大类,是脂肪烃、脂环烃或芳香烃侧链中的氢原子被羟基取代而成的化合物。在化学中,任何有机化合物,其羟基官能团(-OH)被绑定到一个饱和碳原子,就叫醇。通常意义
  • 印度南部印度南部是指在今日印度共和国南部的安得拉邦、卡纳塔克邦、喀拉拉邦、泰米尔纳德邦四个邦以及拉克沙群岛和本地治里两个联邦属地组成的范围,共占整个印度的面积达19.31%。在
  • 页码代码页是字符编码的别名,也称内码表,是特定语言的字符集的一张表。早期,代码页是IBM称呼计算机的BIOS所支持的字符集编码。当时通用的操作系统都是命令行界面,这些操作系统直接