史慕扬

✍ dations ◷ 2025-08-29 00:27:04 #史慕扬

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

相关

道尔顿原子质量单位（Atomic mass unit，amu），现称统一原子质量单位（Unified atomic mass unit，u）或道尔顿（dalton，Da），是用来衡量原子质量的单位，定义为静止未键结且处于基态碳12原子质量的1/12
维生素过多症维生素过多症（英语：Hypervitaminosis），亦称维生素中毒症，是指由于摄入过量维生素而引发的一系列中毒症状，这类疾病根据与其有关的维生素的字母进行定名，例如摄入过多维生素A引发的
核黄素缺乏症核黄素，又称维生素B2，维他命B2，维生素G。分子式C17H20N4O6。它是人体必需的13种维生素之一，作为维生素B族的成员之一，微溶于水，可溶于氯化钠溶液，易溶于稀的氢氧化钠溶液。1879年英
更昔洛韦更昔洛韦（Ganciclovir）是一种抗病毒药物，常用于治疗细胞巨大型病毒（cytomegalovirus）感染。1980年由Syntex Research的Julien Verheyden和John Martin合成。他的前药万乃洛韦（valg
尿崩症尿崩症（Diabetes insipidus）由于肾脏集尿管(renal collecting ducts)对抗利尿激素(antidiuretic hormone; ADH, 又称为血管加压素(Arginine vasopressin; AVP)没有反应，造成尿
营养体营养体（Trophosome；源自trophē），亦作滋养体，是一种在部分原口动物（例如：须腕科物种）体腔（英语：coelomic cavity）内的深绿棕色海绵组织器官，用来储存内共生细菌，以为其宿主提供完全营养。
计算机的可视化可视化是指用于创建图形、图像或动画，以便交流沟通讯息的任何技术和方法。在历史上包括洞穴壁画、埃及象形文字等，如今可视化有不断扩大的应用领域，如科学教育、工程、互动多媒
西北非洲西北非洲约位于北部非洲和西部非洲之间的重垒位置，与西班牙及意大利隔海相望，面积约有六分之一个非洲，当中包含了六个非洲国家，区内大部分地区都是沙漠，马格里布国家都比较贫穷，而
苏丹三号苏丹三号（Sudan III）是一种脂肪偶氮染色剂，常用于冻结切片的甘油三酯的染色。正常状况下是红褐色结晶。苏丹一号、三号和四号被国际癌症研究机构认定为3级致癌物质。其他名称还
曼德语族曼德语族（Mande languages，又译曼迪语族）是曼德人所讲的语言的分类，是与尼日尔-刚果语系比较疏离的一个支系，包含十多种语言，流行于西非各国，包括有：冈比亚、科特迪瓦、布基纳法索、