报告题目：Stochastic Lambda Calculi
报告人：Dana S. Scott（教授，Carnegie Mellon University,图灵奖得主）
主持人：何积丰 教授
报告时间：2013年10月24日13：30 － 15：00
报告地点：中北校区数学馆113
报告人简介：
Dana Stewart Scott (born October 11, 1932) is the emeritus Hillman University Professor of Computer Science, Philosophy, and Mathematical Logic at Carnegie Mellon University; he is now retired and lives in Berkeley, California. His research career has spanned computer science, mathematics, and philosophy, and has been characterized by a marriage of a concern for elucidating fundamental concepts in the manner of informal rigor, with a cultivation of mathematically hard problems that bear on these concepts. His work on automata theory earned him the ACM Turing Award in 1976, while his collaborative work with Christopher Strachey in the 1970s laid the foundations of modern approaches to the semantics of programming languages. He has worked also on modal logic, topology, and category theory. He is the editor-in-chief of the new journal Logical Methods in Computer Science。
报告摘要：
Random elements have been added to the lambda calculus in the past using operational semantics. The author recently noticed that many models can be expanded with random variables for very simple topological reasons. The talk will explain some examples and raise some questions about finding applications.