史慕扬

✍ dations ◷ 2025-05-15 18:29:58 #史慕扬
雷蒙·梅里儿·思木里安(英语:Raymond Smullyan,1919年5月25日-2017年2月6日)出生于纽约皇后区的远洛克威,2017年2月6日逝世于纽约市,是一位美国数学家,逻辑学家,哲学家,魔术师和钢琴家,著有多部有关逻辑和哲学的科普书籍。思木里安出生于纽约皇后区洛克威半岛,中学期间辍学。退学后,他接受了专业的钢琴培训并于芝加哥罗斯福学院担任钢琴教师。但不幸的是,右臂肌腱炎使他不得不放弃了专业钢琴教师生涯而转向数学。在换了一所大学后,他进入芝加哥大学学习,在此期间,思木里安为了赚学费,在俱乐部中以魔术师的身份打工,后终于在1955年拿到数学专业本科学位。1959年,他在普林斯顿大学完成了他的数学博士研究,以题为正式系统理论的论文获得了阿隆佐·邱奇教授的博士学位。自1961年以来,思木里安陆续在普林斯顿大学、犹太大学和纽约城市大学教授数学和逻辑学。1982年退休后,他被任命为印第安纳大学哲学系名誉教授。

相关

  • 果糖果糖(C6H12O6,Jmol 立体图)是一种简单的糖(单糖),极易溶于水,在许多食品中存在,和葡萄糖、半乳糖一起构成了血糖的三种主要成分,可在如蜂蜜、树上的水果、浆果、瓜类以及一些根类蔬菜
  • 口臭口臭指人张开口时发出的臭味,普遍视为一个表面的病征。其起因可以有很多种,大多来自口腔的问题,例如蛀牙和牙周病,亦有可能因为扁桃腺结石,或因为吃了味浓的食物(如蒜头、洋葱、肉
  • 社交恐惧症社交恐惧症又名社会焦虑症、人群恐惧症,是一种对任何社交或公开场合感到强烈恐惧或忧虑的精神疾病。患者对于在陌生人面前或可能被别人仔细观察的社交或表演场合,有一种显著且
  • 大陆会议大陆会议(英语:Continental Congress),或作大陆议会,是指北美十三州在1774年至1789年间组成的联合议会,是为美国国会的前身。大陆会议与美国革命息息相关。18世纪中叶,英国与其北美
  • 法显法显(337年-422年),俗姓龚,平阳武阳(今山西省长治市襄垣县)人,东晋、刘宋的高僧、旅行家、翻译家。因法显的三位兄长都幼年早亡,其父亲怕殃及法显,在其三岁时便让他剃度出家为沙弥。二
  • 华北陆块华北陆块又名华北克拉通(North China craton),是个史前大陆或克拉通,目前是欧亚板块的一部分。范围包含今日的华北与中国东北部、大部分朝鲜半岛、蒙古南部,面积达170万平方公里
  • 科尔多瓦科尔多瓦(西班牙语:Córdoba,西班牙语:.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000","Gent
  • 苦杏仁素扁桃苷(Amygdalin,源自希腊语“扁桃”ἀμυγδάλη amygdálē ),又名苦杏仁苷,是许多植物中发现的一种有毒的氰苷,但最引人注目的是存在于杏、苦杏仁、苹果、桃及梅子等植物
  • 梭曼梭曼英语:(Soman),学名甲氟膦酸频那酯(O-Pinacolyl methylphosphonofluoridate),由德国诺贝尔化学奖获得者理查德·库恩博士于1944年首次合成,为G类神经性毒剂中最重要的一种毒
  • 说话带鼻音鼻音是一种带有鼻腔共鸣的人声。鼻音可能由疾病造成或是与生俱来的一种特色。鼻音可分为低度鼻音(hypo-nasal)跟高度鼻音(hyper-nasal)。说话时带着低度鼻音或称为去鼻音化(英语:d