Around the physical church-turing thesis: cellular automata, formal languages, and the principles of quantum theory

Authors:
Gilles Dowek
Affiliations:
INRIA, Paris Cedex 13, France
Venue:
LATA'12 Proceedings of the 6th international conference on Language and Automata Theory and Applications
Year:
2012

Citing 10
Cited 0

Computable analysis: an introduction

Computable analysis: an introduction
A new kind of science

A new kind of science
On Universal and Fault-Tolerant Quantum Computing: A Novel Basis and a New Constructive Proof of Universality for Shor's Basis

FOCS '99 Proceedings of the 40th Annual Symposium on Foundations of Computer Science
Locality and Information Transfer in Quantum Operations

Quantum Information Processing
Physical Computation: How General are Gandy's Principles for Mechanisms?

Minds and Machines
One-Dimensional Quantum Cellular Automata over Finite, Unbounded Configurations

Language and Automata Theory and Applications
Effective Computability of Solutions of Ordinary Differential Equations The Thousand Monkeys Approach

Electronic Notes in Theoretical Computer Science (ENTCS)
The church-turing thesis over arbitrary domains

Pillars of computer science
On the completeness of quantum computation models

CiE'10 Proceedings of the Programs, proofs, process and 6th international conference on Computability in Europe
Unitarity plus causality implies localizability

Journal of Computer and System Sciences

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.