雷蒙德·斯穆里安

✍ dations ◷ 2025-11-12 17:44:41 #1919年出生,2017年逝世,20世纪美国数学家,21世纪美国数学家,20世纪美国哲学家,21世纪美国哲学家,美国逻辑学家,美国魔术师,智力游戏设计师,美国国

雷蒙·梅里儿·思木里安(英语:Raymond Smullyan,1919年5月25日-2017年2月6日)出生于纽约皇后区的远洛克威,2017年2月6日逝世于纽约市,是一位美国数学家,逻辑学家,哲学家,魔术师和钢琴家,著有多部有关逻辑和哲学的科普书籍。

思木里安出生于纽约皇后区洛克威半岛,中学期间辍学。退学后,他接受了专业的钢琴培训并于芝加哥罗斯福学院担任钢琴教师。但不幸的是,右臂肌腱炎使他不得不放弃了专业钢琴教师生涯而转向数学。在换了一所大学后,他进入芝加哥大学学习,在此期间,思木里安为了赚学费,在俱乐部中以魔术师的身份打工,后终于在1955年拿到数学专业本科学位。1959年,他在普林斯顿大学完成了他的数学博士研究,以题为正式系统理论的论文获得了阿隆佐·邱奇教授的博士学位。自1961年以来,思木里安陆续在普林斯顿大学、犹太大学和纽约城市大学教授数学和逻辑学。1982年退休后,他被任命为印第安纳大学哲学系名誉教授。

相关

  • 柳叶刀《柳叶刀》(The Lancet),是世界上最悠久及最受重视的同行评审医学期刊之一,主要由爱思唯尔出版公司发行,部分与里德·爱思唯尔集团协同出版。1823年由汤姆·魏克莱(英语:Thomas Wak
  • 詹姆斯·冈恩丹尼·海涅曼天体物理学奖 (1988)詹姆斯·爱德华·冈恩(英语:James Edward Gunn,1938年10月21日-),美国天文学家,普林斯顿大学尤金·希金斯天文学教授。冈恩的早期理论工作建立了对
  • 蚩尤.mw-parser-output ruby>rt,.mw-parser-output ruby>rtc{font-feature-settings:"ruby"1}.mw-parser-output ruby.large{font-size:250%}.mw-parser-output ruby.larger{fon
  • 挪威峡湾马挪威峡湾马是发展自挪威的一个马品种。挪威峡湾马历史悠久,毛为暗褐色,尾巴浓密,四肢短而直,动作灵活,是一种多用途的马,维京人经常利用挪威峡湾马运货。
  • 1823年1823年逝世人物列表:1月 - 2月 - 3月 - 4月 - 5月 - 6月 - 7月 - 8月 - 9月 - 10月 - 11月 - 12月
  • 郑澈郑澈(朝鲜语:정철/鄭澈,1536年-1593年),字“季涵”,号“松江”,谥号“文清”,16世纪朝鲜王朝诗人,歌辞文学大家:594:851,与尹善道和朴仁老并称朝鲜三大国语诗人”:614。郑澈的文学成就主
  • Ju 52运输机Ju 52运输机(Junkers Ju 52),为德国容克斯公司在1932年至1945年间生产的一款运输机。由于它的外壳十分坚硬,因此它亦有“容克老姑妈”(德语:Tante Ju;或称容克大婶、容克大妈)、“钢
  • 洛杉矶地铁紫线.mw-parser-output .RMbox{box-shadow:0 2px 2px 0 rgba(0,0,0,.14),0 1px 5px 0 rgba(0,0,0,.12),0 3px 1px -2px rgba(0,0,0,.2)}.mw-parser-output .RMinline{float:none
  • 古斯塔沃·桑塔欧拉拉古斯塔沃·桑塔欧拉拉(西班牙语:Gustavo Alfredo Santaolalla,1952年8月19日-),生于阿根廷艾尔帕洛玛,是一位阿根廷音乐家、电影配乐家与制作人。他曾获金球奖、英国电影和电视艺术
  • 瑞美关系瑞典-美国关系,是指瑞典王国与美利坚合众国之间的双边关系(英语:Bilateral relations)。两者的联系起始于17世纪的瑞典在美殖民活动,美国独立战争之后,瑞典是首批承认美国的国家之