报告题目：The Church-Turing Thesis in the theory of computation and in philosophy
报告人： Prof.Achim Jung University of Birmingham
主持人： 陈仪香 教授
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).