首页 >
史慕扬
✍ dations ◷ 2025-12-08 22:03:03 #史慕扬
雷蒙·梅里儿·思木里安(英语:Raymond Smullyan,1919年5月25日-2017年2月6日)出生于纽约皇后区的远洛克威,2017年2月6日逝世于纽约市,是一位美国数学家,逻辑学家,哲学家,魔术师和钢琴家,著有多部有关逻辑和哲学的科普书籍。思木里安出生于纽约皇后区洛克威半岛,中学期间辍学。退学后,他接受了专业的钢琴培训并于芝加哥罗斯福学院担任钢琴教师。但不幸的是,右臂肌腱炎使他不得不放弃了专业钢琴教师生涯而转向数学。在换了一所大学后,他进入芝加哥大学学习,在此期间,思木里安为了赚学费,在俱乐部中以魔术师的身份打工,后终于在1955年拿到数学专业本科学位。1959年,他在普林斯顿大学完成了他的数学博士研究,以题为正式系统理论的论文获得了阿隆佐·邱奇教授的博士学位。自1961年以来,思木里安陆续在普林斯顿大学、犹太大学和纽约城市大学教授数学和逻辑学。1982年退休后,他被任命为印第安纳大学哲学系名誉教授。
相关
- 拟杆菌门拟杆菌门(Bacteroidetes)包括三大类细菌,即拟杆菌纲、黄杆菌纲、鞘脂杆菌纲。它们的相似性体现在核糖体16S RNA。很多拟杆菌纲的细菌种类生活在人或者动物的肠道中,有些时候成
- 消化系统消化系统(英语:digestive system)是多细胞生物用以进食、消化食物、获取能量和营养、排遗剩余废物的一组器官,其主要功能为摄食、消化、吸收、同化和排遗。其中有关排遗的部分,也
- 麦角固醇麦角固醇(英语:Ergosterol,又称为麦角甾醇)是从真菌类酵母与麦角菌中发现的一种植物固醇。在紫外线照射下可被转化为维生素D2。它是酵母和真菌细胞膜的组成部分,功能与动物细胞膜
- 胶原蛋白胶原蛋白(collagen) 占哺乳类动物总蛋白质约20% ,也是人体的一种非常重要的蛋白质,主要存在于结缔组织中。它有很强的伸张能力,是韧带的主要成分,胶原蛋白也是细胞外基质的主要组
- 兰州大学坐标:36°2′47.8483677402″N 103°51′29.032959938″E / 36.046624546594501°N 103.85806471109389°E / 36.046624546594501; 103.85806471109389兰州大学是中华人民共
- 肛瘘肛瘘是指直肠或肛管与肛周皮肤之间形成的瘘管。也称为肛门直肠瘘,但一般都称为肛瘘,古时又称为肛漏,先也有俗称“老鼠偷粪”。瘘管的内口多位于齿状线附近,而外口位于肛周皮肤。
- 博士论文博士论文(英文:doctoral thesis,或是doctoral dissertation)是学位论文的一种,是博士候选人为了取得博士学位而撰写的论文,博士论文的权威性会比硕士、学士的学位论文要高。完成后
- 民族语“民族语:全世界的语言”(Ethnologue: Languages of the World),又译为“民族语言网”,是一个语言学的相关网站,是基督教以传教为目的的少数语言研究服务机构“美国国际语言暑期学
- 词素语素(Morpheme)又称形态素、义基,在语素构词学里指最小的语法单位,是最小的语音语义结合体。在口语中,语素是由音位这一种能区别的最小声音单位所组成的,而在文字形式语言中,语素则
- 谓词逻辑在数理逻辑中,谓词逻辑(Predicate logic)是符号形式系统的通用术语,比如一阶逻辑,二阶逻辑,多类逻辑或无穷逻辑等等。
