| Centre
| | | | | | | webmail : intra-extra| Accès VPN| Accès IST | English
Univ. Paris-Saclay
A quantum extension of Gandy's theorem: Church-Turing thesis and quantum theory
Université de Grenoble
Vendredi 22/10/2010, 11:00
SPhT Bât 774 Salle C. Itzykson,, Orme des Merisiers

Joint work with Gilles Dowek. We tackle the question of the interplay between computability and quantum theory, in a way that is inspired by Gandy. Gandy formulates postulates about physics, such as homogeneity of space and time, bounded density and velocity of information - and proves that the physical Church-Turing thesis as a consequence. The authors provide a quantum extension of the result.

Contact : agrinbau


Retour en haut