报告题目：The Church-Turing Thesis in the theory of computation and in philosophy
报告人：    Prof.Achim Jung   University of Birmingham
主持人：    陈仪香 教授
报告时间：2019年6月13日  周四15:00-17:00   
报告地点：中北校区数学馆201

报告摘要：
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.

报告人简介：
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).