The physical Church-Turing thesis explains the Galileo thesis, but also suggests an evolution of the language used to describe nature. It can be proved from more basic principle of physics, but it also questions these principles, putting the emphasis on the principle of a bounded density of information. This principle itself questions our formulation of quantum theory, in particular the choice of a field for the scalars and the origin of the infinite dimension of the vector spaces used as state spaces. © 2012 Springer-Verlag.
CITATION STYLE
Dowek, G. (2012). Around the physical church-turing thesis: Cellular automata, formal languages, and the principles of quantum theory. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7183 LNCS, pp. 21–37). https://doi.org/10.1007/978-3-642-28332-1_3
Mendeley helps you to discover research relevant for your work.