彼得·兰丁
彼得·约翰·兰丁(,),英国计算机科学家。他最早提出阿隆佐·邱奇的λ演算可以被用作计算机程序语言的模型,这后来成为函数式编程和指称语义的基础。 学术生涯 兰丁出生于英格兰的谢菲尔德,中学时代就读于爱德华七世学校;他从剑桥大学克莱尔学院毕业。在他退休之后,他获得了伦敦玛丽王后大学的理论计算学荣誉教授称号。2012年,伦敦玛丽王后大学的计算机科学大楼以他的名字命名。 2001年,在伦敦科学博物馆的一个关于程序语言形式语义学的会议上,他回顾了…
共 5 篇文章
彼得·约翰·兰丁(,),英国计算机科学家。他最早提出阿隆佐·邱奇的λ演算可以被用作计算机程序语言的模型,这后来成为函数式编程和指称语义的基础。 学术生涯 兰丁出生于英格兰的谢菲尔德,中学时代就读于爱德华七世学校;他从剑桥大学克莱尔学院毕业。在他退休之后,他获得了伦敦玛丽王后大学的理论计算学荣誉教授称号。2012年,伦敦玛丽王后大学的计算机科学大楼以他的名字命名。 2001年,在伦敦科学博物馆的一个关于程序语言形式语义学的会议上,他回顾了…
奥利佛·萨克斯(,),英国伦敦醫生、生物學家、脑神经学家、作家及業餘化學家。他根据他对病人的观察,而写了好几本畅销书。他側重於跟隨19世紀傳統的「臨床軼事」,文學風格式的非正式病歷。他最喜愛的例子為著作的。 學經歷與著作 他在牛津大学王后学院学医,后到美国加州大学洛杉矶分校神经科執業,1965年移居纽约,从医并教书。他在爱因斯坦医学院担任临床脑神经教授、纽约大学医学院担任脑神经科客座教授及为安贫小姊妹会担任顾问脑神经专家。 萨克斯只在他…
约翰·梅纳德·凯恩斯,第一代凯恩斯男爵(,),一般稱作凱因斯(或譯為-{zh-cn:凯因斯;zh-tw:凱恩斯;zh-hk:凱因斯;}-),英国经济学家。 凱因斯一反自18世紀亞當·史密斯以來尊重市場機制、反對人為干預的經濟學思想,他主張政府應積極扮演經濟舵手的角色,透過財政與貨幣政策來對抗經濟衰退乃至於經濟蕭條。 凱因斯的思想不僅是書本裡的學說,也成為1920年代至1930年代世界性經濟蕭條時的有效對策、「戰後繁榮之父」等」一事可見一…
克里斯托弗·斯特雷奇(,)是一名出生於英國英格蘭倫敦汉普斯特德的計算機学者。他是指称语义最早的提出者之一,也是程式語言設計的先驅,發展了程式語言CPL。 生平 克里斯托弗·斯特雷奇出身於,其父為,其母為。 1935年,斯特雷奇進入劍橋大學國王學院就讀,最初主修數學,後來轉向物理學。在大學第三年時,可能因為他的同性戀傾向,使他神經衰弱,無法完成學業。他回家休養之後,雖然曾試圖重返校園,但仍然無法完全恢復。在休學後,進入公司,擔任物理學研究…
埃德蒙·特里勞尼·巴恪思爵士,第二代從男爵(Sir Edmund Trelawey Backhouse, 2nd Baronet,),是英國東方學學者及語言學家,著有不少關於中國清末時期歷史的著作,但他死後被學術界指控大部分內容為偽造。為巴恪思作傳《北京的隱士》的英國學者休·特雷费-罗珀稱他是「少有人能匹敵的騙徒」。 生平 埃德蒙·巴恪思生於英國達靈頓,是銀行家第一代從男爵爵士的長子。家族宗教信仰是貴格會。其弟曾於1938-1939年任…