李奥帕德·勒文海姆

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

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

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

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

相关

酰胺酰胺是指含有和氮和与氧相连的酰基的一类化合物，官能团为RnE(O)xNR'2，其中R和R'指氢原子或有机基团，E常见的有碳、硫、磷等。有机化学中命名中未指明E原子时E为碳，可以看作羧酸
安道尔城安道尔城（加泰罗尼亚语：Andorra la Vella，加泰罗尼亚语发音：.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unico
维埃纳省维埃纳省（法文：Vienne）是法国阿基坦-利木森-普瓦图-夏朗特大区所辖的省份，普瓦图最东端土地。该省编号为86。5个海外省及大区
日军日本军（日语：日本軍／にほんぐん、にっぽんぐん Nihon-gun、Nippon-gun */?），简称日军，广义上是指日本的国家军队，但通常指大日本帝国时期（明治维新至第二次世界大战结束前）的日本军
八元神八元神，也翻译做八神会。在埃及神话中，“赫麦努”（希腊文“Ogdoad”，意为“八”）是第三至第六王朝的古王国时期，即公元前2686年公元前2134年，在赫尔莫波斯城（Hermopolis）供奉的八位
人格解体人格解体（Depersonalization或Depersonalisation）是个人自我认知机制的一种异常状况。它使人觉得在观察自己的行为（虽然他并不能控制局面）。出现人格解体者的痛苦感也发生改变，感
罗托路亚罗托路亚（毛利语:Te Rotorua-nui-a-Kahumatamomoe (意为Kahumatamomoe的第二大湖)英文：Rotorua），位于新西兰北岛中部的城市。座落于罗托路亚湖南岸，汉密尔顿东南105公里，陶朗加以
红星头菌红星头菌（Aseroë rubra），又名红星头鬼笔，是澳洲很普遍的担子菌门真菌，其特征是带有腐肉的臭味及像海葵的外形。红星头菌可以在长满草及布满覆盖物的地方生长。它的外型像一颗红
华强北街道华强北街道是中国广东省深圳市福田区下辖的一个街道。位于福田区东部，总面积约为2.9平方公里，辖区总人口16万人，下辖5个社区工作站。因辖区内的“中国电子第一街”华强北路而得
外向型经济外向型经济是指以出口贸易为主的经济模式，相对应于内向型经济和自给自足型经济。例如，2004年中华人民共和国出口贸易占国民生产总值的70%以上，就属于外向型经济。