首页 >
史慕扬
✍ dations ◷ 2025-07-18 06:21:50 #史慕扬
雷蒙·梅里儿·思木里安(英语:Raymond Smullyan,1919年5月25日-2017年2月6日)出生于纽约皇后区的远洛克威,2017年2月6日逝世于纽约市,是一位美国数学家,逻辑学家,哲学家,魔术师和钢琴家,著有多部有关逻辑和哲学的科普书籍。思木里安出生于纽约皇后区洛克威半岛,中学期间辍学。退学后,他接受了专业的钢琴培训并于芝加哥罗斯福学院担任钢琴教师。但不幸的是,右臂肌腱炎使他不得不放弃了专业钢琴教师生涯而转向数学。在换了一所大学后,他进入芝加哥大学学习,在此期间,思木里安为了赚学费,在俱乐部中以魔术师的身份打工,后终于在1955年拿到数学专业本科学位。1959年,他在普林斯顿大学完成了他的数学博士研究,以题为正式系统理论的论文获得了阿隆佐·邱奇教授的博士学位。自1961年以来,思木里安陆续在普林斯顿大学、犹太大学和纽约城市大学教授数学和逻辑学。1982年退休后,他被任命为印第安纳大学哲学系名誉教授。
相关
- 阿奇霉素11–14 h (single dose) 68 h (multiple dosing)阿奇霉素(Azithromycin, /əˌzɪθroʊˈmaɪsᵻn/ )是一种属于大环内酯的抗生素,于1980年被发现,1981年推出。又翻译作阿红霉
- 白三烯C4合酶2PNO, 2UUH, 2UUI, 3B29, 3HKK, 3LEO, 3PCV· leukotriene-C4 synthase activity · glutathione peroxidase activity · protein binding · enzyme activator activit
- 凝集素凝集素(Lectins)是一种对糖蛋白上的糖类具有高度特异性的结合蛋白。在实验室中,经常被用来分离、纯化糖蛋白。Lectin的名字的由来是来自于拉丁文中的legere,代表选择的意思。尽
- 核能核能通常指原子核的能量,可以透过核聚变、核裂变或放射性核衰变释放出来。核能也可以指:
- 角质软化剂角质软化剂是一种用来降低皮肤角质层的密度,以便医生进行后续的治疗的物质,主要用来消除因为疣或其他病变而引起皮肤上过度生产的表皮细胞。角质软化剂包括诸如水杨酸、煤焦油
- 细胞色素细胞色素(英文:cytochrome)一般是指一类膜结合的血红素蛋白,以血基质为辅基,参与电子传递。它可以以单体的形式(如细胞色素c)或作为复合物酶中的一个亚基来发挥氧化还原作用。细胞
- 施莱尔马赫弗里德里希·施莱尔马赫(又译为士来马赫,德语:Friedrich Daniel Ernst Schleiermacher;1768年11月21日-1834年2月12日),德国19世纪神学家及哲学家,被称为现代神学、现代诠释之父,主张
- 15世纪1401年1月1日至1500年12月31日的这一段期间被称为15世纪。15世纪是开辟新航路的一个世纪。
- 贝德福德坐标:52°08′01″N 0°27′28″W / 52.1337°N 0.4577°W / 52.1337; -0.4577贝德福德(英语:Bedford)是英国贝德福德郡的郡治,位于东英格兰。它是更大的贝德福德区的行政中心,与
- 冷却塔冷却塔(Cooling tower),火力发电厂、核能发电厂、大型空调设备和制冷设备的循环水冷却装置,冷却水塔又称冷却塔,是一种排热装置,利用将水流冷却到较低的温度,再将系统中的热量排放