Tsinghua Logic

Continuous Logic and Probability

报告人:Shichang Song, Department of Mathematics, University of Illinois at Urbana-Champaign.

时间:2010年6月19日(星期六) 上午9:00-12:00
地点:清华大学新斋335

摘要: 连续一阶逻辑是经典一阶逻辑的一个类比。和经典逻辑的二元真值表不同,连续逻辑的真值表是整个[0,1]区间。连续模型论拥有很多经典模型论所拥有的重要性质。虽然连续逻辑才刚被引入,它已在数学的分析学以及概率论中得到很多的应用。在这个讲座中,我先简述连续逻辑,然后再讨论其在概率论中的应用。最后,如果时间允许,我将谈论我在这个领域的一些最新进展。
(Continuous first-order logic is an analog of classical first-order logic. Unlike classical logic with the truth value {True, False}, continuous logic ‘s truth value is the whole interval [0,1]. Continuous model theory also preserves many key properties of classical model theory. Although continuous first-order logic was introduced quite recently, it has already been applied to analysis and probability theory. During this talk, I will introduce continuous logic briefly and then discuss the applications to probability theory. If time permits, I’ll also show some of my recent results in this topic.)

 

Welcome to Tsinghua Logic