Home» News» Others» 6月17日北京师范大学Jouko Vaananen教授报告:Dependence and Independence—A Logical Approach

6月17日北京师范大学Jouko Vaananen教授报告:Dependence and Independence—A Logical Approach

发布日期:2016-06-08 作者:
附件:   

 

 

题目:Dependence and IndependenceA Logical Approach

 

主讲:Jouko Vaananen教授

 

地点:北师大教二楼107教室

 

时间:61715:00-17:00

 

摘要:I will give an overview of dependence logic, the goal of which is to establish a basic logical theory of dependence and independence underlying seemingly unrelated subjects such as causality, bound variables in logic, random variables, database theory, the theory of social choice, Mendelian genetics, and even parts of quantum physics. There is an abundance of new results in this field demonstrating a remarkable convergence. The concepts of (in)dependence in the different fields of humanities and sciences have surprisingly much in common and a common logic is starting to emerge.


发布时间:2016-06-08 17:51:18