首页 >
史慕扬
✍ dations ◷ 2025-06-27 12:29:21 #史慕扬
雷蒙·梅里儿·思木里安(英语:Raymond Smullyan,1919年5月25日-2017年2月6日)出生于纽约皇后区的远洛克威,2017年2月6日逝世于纽约市,是一位美国数学家,逻辑学家,哲学家,魔术师和钢琴家,著有多部有关逻辑和哲学的科普书籍。思木里安出生于纽约皇后区洛克威半岛,中学期间辍学。退学后,他接受了专业的钢琴培训并于芝加哥罗斯福学院担任钢琴教师。但不幸的是,右臂肌腱炎使他不得不放弃了专业钢琴教师生涯而转向数学。在换了一所大学后,他进入芝加哥大学学习,在此期间,思木里安为了赚学费,在俱乐部中以魔术师的身份打工,后终于在1955年拿到数学专业本科学位。1959年,他在普林斯顿大学完成了他的数学博士研究,以题为正式系统理论的论文获得了阿隆佐·邱奇教授的博士学位。自1961年以来,思木里安陆续在普林斯顿大学、犹太大学和纽约城市大学教授数学和逻辑学。1982年退休后,他被任命为印第安纳大学哲学系名誉教授。
相关
- 呼吸窘迫呼吸困难(拉丁语:Dyspnea或Dyspnoea)、呼吸急促或空气饥是患者一种自觉症状,病人一般可自己觉察到呼吸困难,但外界不易观察出来。一般而言重体力劳动等带来的呼吸困难是正常症状,
- 腹肌腹直肌(简称腹肌)是指躯干下半部(或称腹部)的器官,由若干片状的肌肉保护着,并固定在适当的位置。他们包括两块腹直肌,沿着身体前面,从胸廓延伸到骨盆。当腹直肌收缩时,腹部被往内拉。
- 核蛋白核蛋白是指与核酸(脱氧核糖核酸,DNA或者核糖核酸,RNA)有关的任何蛋白质。譬如,组织蛋白类型的蛋白-染色质。端粒酶,核糖核蛋白和精蛋白都是核蛋白。典型的核蛋白包括核糖体,核小体和
- 几丁质甲壳素(英语:Chitin,IPA:/ˈkaɪtᵻn/ KY-tin),分子结构“(C8H13O5N)n”,又名“几丁质”、“几丁聚糖”、“几丁寡糖”、“甲壳质”或“壳多糖”,是一种含氮的多糖类物质,为虾、蟹、
- 耐氧厌氧生物厌氧生物,或称厌气生物,是指一种不需要氧气生长的生物。它们大致上可以分为三种,即专性厌氧生物、兼性厌氧生物及耐氧厌氧生物 。人体内的厌氧生物多存在于消化系统中,有些种类
- 阿拉伯联合酋长国阿拉伯半岛(白色)阿拉伯联合酋长国(阿拉伯语:دولة الإمارات العربية المتحدة),通称阿联酋,是由阿布扎比、沙迦、迪拜、阿治曼、富查伊拉、乌姆盖万、
- 发现化学元素发现年表将各种化学元素的发现按时间顺序列出。其中元素发现的时间以提炼出元素单质的时间为准,因为元素化合物的发现时间无法准确定义。表中列出了每种元素的名称、
- QJ51ATC代码J(抗感染药)是解剖学治疗学及化学分类系统的一个分类,这是由世界卫生组织药物统计方法整合中心(The WHO Collaborating Centre for Drug Statistics Methodology)所制定的
- 跳婴儿节跳婴儿节(西班牙语:El Colacho),原意为魔鬼的跳跃(西班牙语:El Salto del Colacho),是西班牙传统的节日,最早可追溯至1620年,这个节庆的目的是用来庆祝举行在布哥斯省布哥斯卡斯特里略
- 干燥综合征干燥综合征,又名修格连氏综合征,或者舍格伦综合征。该病的英文名称为Sjögren's syndrome(发音为/ˈʃoʊɡrənz/,又称为Mikulicz disease及Sicca syndrome,是一种长期的自身免