勒文海姆

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

相关

  • 抽血检查血液检查(英语:Blood test),是指通过采血以获得受检者的血液,并利用其进行临床检查以获取受检者的健康状况。主要通过医检师进行检验。血液检查主要用于判断患者在一定时间内的身
  • 李德尔氏综合征李德尔氏综合征(Liddle's syndrome、假性醛固酮增多症)是常染色体显性遗传(Dominance (genetics))疾病、特征在于早期频繁严重的高血压,以及与低血浆肾素活性、代谢性碱中毒(
  • 生产生产在经济学中指的是厂商或服务提供者,把其可以支配的资源(也就是生产要素)转变为商品(有形产品或无形服务(英语:Goods and services))的过程,而且所产生的商品有价值,可以对消费者产
  • 威廉·埃因托芬威廉·埃因托芬(Willem Einthoven,1860年5月21日-1927年9月29日)是一位荷兰医师与生理学家。 埃因托芬出生于当时属于荷兰的爪哇岛三宝珑,他的父亲是一位医生,在他小时候便过世。
  • 环境污染控制环境污染控制是控制污染物排放的手段,包括污染物排放控制技术和控制污染物排放政策两个主要方面。技术一般由企业或科研机构去研发,按照市场机制运行,主要以配合污染控制政策为
  • 欧元区本文是 欧洲联盟的政治与政府 系列条目之一欧元区(Eurozone;官方称euro area)为27个欧洲联盟成员国中的19个国家组成的货币同盟。这些国家采用欧元(€)为其通用货币和唯一法偿。
  • 别列赞岛别列赞岛(Berezan Island) 位在第聂伯河到黑海的出海口,行政区域上属于乌克兰尼古拉耶夫州。约900米长,320米宽,与陆地间被浅水分隔,距离约二公里半。别列赞岛被认为可能是黑海
  • ResearchGateResearchGate(researchgate.net)是一个被戏称为“科学研究的脸谱(facebook for research)”的社交网络服务网站,于2008年5月上线。创办人为Ijad Madisch博士、Soeren Hofmayer与H
  • 海洋性贫血地中海贫血(Thalassemias),又称珠蛋白生成障碍性贫血,海洋性贫血症,简称地贫,是遗传性血液疾病,会造成血红蛋白合成障碍,其症状可依不同分型而有所不同,程度可能从无症状到严重。通常
  • 巩膜巩膜属于眼球纤维膜,在眼球内,约占眼球纤维膜的5/6,为乳白色不透明的纤维膜,起保护眼球内容物和维持眼球形态的作用。巩膜前缘接角膜缘,后方与视神经的硬膜鞘相延续。巩膜与角膜