跳转到内容

利奥波德·勒文海姆

维基百科,自由的百科全书

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

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

另见

外部链接