勒文海姆

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

相关

  • 希波克拉底“希波克拉底”(古希腊文:Ἱπποκράτης,前460年-前370年),为古希腊伯里克利时代之医师,约生于公元前460年,后世人普遍认为其为医学史上杰出人物之一。在其所身处之上古时代,
  • NDL国立国会图书馆(日语:国立国会図書館/こくりつこっかいとしょかん Kokuritsu kokkai toshokan */?)是日本的国家图书馆,直接隶属于国会,除了主要为日本国会议员的调查、研究等立
  • 皮肤皮肤,包住脊椎动物的软层,是组织之一,在人体是最大的器官。皮肤挡住外来侵入,亦保住水分。有保暖、阻隔、感觉之用。皮肤的作用因物种而异,有保暖、保护色、吸引异性等作用。各物
  • 噬菌体噬菌体(英语:bacteriophage)是病毒的一种,其特别之处是专以细菌为宿主,较为熟知的噬菌体是以大肠杆菌为寄主的T2噬菌体。跟别的病毒一样,噬菌体只是一团由蛋白质外壳包裹的遗传物
  • 法国– æ¬§æ´²ï¼ˆç»¿è‰²åŠæ·±ç°è‰²ï¼‰â€“ æ¬§ç›Ÿï¼ˆç»¿è‰²ï¼‰æ³•å…°è¥¿å…±å’Œå›½ï¼ˆæ³•è¯
  • D维他命D也称抗佝偻病维他命,是一类脂溶性维他命,属类固醇化合物。在人类所需的维他命中,维他命D非常特殊,是一种激素的前体,而且人一天只要暴露在阳光下10分钟,人体自身即可合成足
  • 甲型肝炎甲型肝炎疫苗是用于预防甲型肝炎的疫苗。 对95%的人都会有效,且能持续至少15年以上的效期,很多人甚至能持续一生。幼儿应接种 2 剂,于出生满 12-15 个月接种第 1 剂,间隔 6 个月
  • H6N1H6N1(英语:Influenza A virus subtype H6N1,记作A(H6N1)或H6N1)是一种甲型流感病毒,是禽流感病毒或禽流感病毒的一个亚型。H6N1最初于2013年6月21日在台湾发现,首例患者是一名住在
  • 颅骨颅骨或者头骨、骷髅头是指人类或者许多脊椎动物的头部骨性结构。头骨之功能为支撑脸部,并保护脑部。头骨分为两部分:颅骨和下颌骨。一般所称之‘头颅’通常仅指颅骨,并未包含下
  • 腓力二世 (马其顿)腓力二世(希腊语:Φίλιππος Β' ο Μακεδών,前382年-前336年),为马其顿国王 (前359年-前336年),是阿敏塔斯三世和欧律狄刻最小的儿子,出生于佩拉。他是亚历山大大帝和腓