勒文海姆

✍ dations ◷ 2025-10-08 14:16:47 #勒文海姆

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

相关

李梃李梃，字健斋，明朝南丰（今江苏南丰）人。明代嘉靖至万历年间。早年因病学医，遂博览群书，有丰富的临床经验。晚年为初学者入门，著有《医学入门》8卷。
汉氏巴尔通体汉氏巴尔通体（Bartonella henselae）是一种常见的、可导致猫抓病的真细菌，属于巴尔通体属。该细菌通过三聚体自身转运蛋白粘附素（英语：trimeric autotransporter adhesin）与宿主细
维他命维生素（英语：Vitamin）是一系列有机化合物的统称，曾依音译，称作“维他命”。它们是生物体所需要的微量营养成分，而一般又无法由生物体自己生产，需要通过饮食等手段获得。维生素不能
神经元神经元（英语：neuron），又名神经原或神经细胞（英语：nerve cell），是神经系统的结构与功能单位之一。神经元能感知环境的变化，再将信息传递给其他的神经元，并指令集体做出反应。神经元占了
心内膜心内膜（英语：endocardium）是位于心腔中的最深层的组织。其细胞在胚胎学与生物学观点上与位于血管的内皮细胞极为相似。
糖原糖原（英语：glycogen，又称肝糖、动物淀粉）是人类等动物和真菌储存糖类的主要形式；是多糖的一种，由葡萄糖失水(脱水)缩合作用而成。主要生物学功能是作为动物和真菌的能量储存物质。
开罗省开罗省（阿拉伯语：محافظة القاهرة‎），是埃及的一个省，位于该国尼罗河三角洲东南角。首府开罗同时也是埃及的首都。开罗省面积3,085平方公里，人口13,000,000人（2006年统
教父时期教父（英语：Church Fathers，或 Fathers of the church），又译为天主教早期教父（Early Church Fathers），是天主教会（基督教）早期宗教作家及宣教师的统称。他们的著作被认定具备权威，可以作
博赫尼亚博赫尼亚（Bochnia）是位于波兰南部的城市，人口约有30,000人。博赫尼亚自1999年起属小波兰省，在行政区划调整之前，博赫尼亚属塔尔努夫省。博赫尼亚建城于1248年。其地理位置位于塔
进化树系统发生树（英语：phylogenetic tree）又称演化树或进化树（evolutionary tree），是表明被认为具有共同祖先的各物种间演化关系的树状图。是一种亲缘分支分类方法（cladogram）。在图中，每