史慕扬

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

相关

  • 营养不良营养不良(英语:malnutrition)是一个描述健康状况的用语,是指由不平衡饮食所造成的营养素缺乏、过剩、或比例失调。重要的营养成分包括:产生热量的蛋白质、脂质与糖类,还有不产生热
  • 呼吸衰竭呼吸系统 Field =呼吸衰竭(英语:Respiratory failure)系为动脉中氧气或二氧化碳,或二者皆不符合正常比例,是由于呼吸系统的气体交换不足之故。动脉血液的携氧量过低
  • 抗高血压药抗高血压药(英文:Anti-hypertensives)肼屈嗪 米诺地尔 硝普钠含羧基类: 依那普利# • 雷米普利 • 喹那普利 • 培哚普利 • 赖诺普利 • 贝那普利含次膦酸基类: 福辛普利 其
  • 立氏立克次体立氏立克次体(英语:Rickettsia rickettsii),一种单细胞、革兰氏阴性的立克次体,是落矶山斑点热的病原体,原生于美洲。医学导航:病菌细菌(分类)gr+f/gr+a(t)/gr-p(c/gr-o药物(J1p、w、n、m、
  • ProtegeProtégé,常简化拼写为“Protege”,是一个史丹佛大学开发的本体编辑和知识管理系统。开发语言采用Java,属于开放源码软件。由于其优秀的设计和众多的插件,Protégé已成为当前
  • 比热容比热容(英语:specific heat capacity,符号c),简称比热,亦称比热容量,是热力学中常用的一个物理量,表示物体吸热或散热能力,比热容越大,物体的吸热或散热能力越强。它指单位质量的某种
  • Hf4f14 5d2 6s22, 8, 18, 32, 10, 2蒸气压第一:658.5 kJ·mol−1 第二:1440 kJ·mol−1 第三:2250 kJ·mol主条目:铪的同位素.mw-parser-output ruby.zy{text-align:justify;text
  • 温带沙漠温带干旱半干旱气候,其中温带干旱气候又称温带沙漠气候,温带半干旱气候又称温带草原气候。是周淑贞气候分类法里中纬度气候带的一种气侯类型,此外,在柯本气候分类法中也有这一气
  • 蓝光疗法光照治疗或光线治疗(英语:Light Therapy 或 Phototherapy)指的是日光或是以特定波长的光(例如:激光光)为光源来做治疗,本篇主要介绍以紫外线(UV)为光源的治疗方式。所谓UV是指光波长
  • 隧道隧道是指在既有的建筑或土石结构中挖出来的通道,供交通立体化、穿山越岭、地下通道、越江、过海、管道运输、电缆地下化、水利工程等使用。隧道不一定全是地下通道,仅位于地面