讲座题目：The Church-Turing Thesis in the theory of computation and in philosophy 主讲人：Achim Jung 教授 主持人：陈仪香 教授 开始时间：2019-06-13 15:00:00 结束时间：2019-06-13 17:00:00 讲座地址：中北校区数学馆201室 主办单位：计算机科学与软件工程学院
报告人简介： Achim Jung is Professor of Computer Science at the University of Birmingham, UK. He obtained his PhD and his Habilitation under the direction of Klaus Keimel at the University of Birmingham. He held visiting positions at Carnegie Mellon University (working with Dana Scott), Imperial College (working with Samson Abramsky), Chapman University (working with M. Andrew Moshier), Ecole Normal Superieur (working with Jean Goubault-Larrecq), and Universite Denis Diderot (working with Mai Gehrke).
报告内容： At one level, the Church-Turing Thesis (CTT) is a quite clear and simple statement: All formalisations of the intuitive notion of computability are equally expressive. However, one might want to analyse this a bit more carefully, and also consider the context in which computation takes place. For example, we can consider machines that are connected to other machines, or machines that have a built-in notion of data type. Perhaps surprisingly, in these more refined settings the CTT is no longer valid, in the sense that otherwise perfectly natural computational formalisms are weaker than what one might like to call computable. In this talk I want to explain this phenomenon and speculate as to why this could be an interesting point when considering the computational possibilities of the brain. |
