Around the physical Church-Turing thesis: cellular automata, formal languages, and the principles of quantum theory. - Inria - Institut national de recherche en sciences et technologies du numérique
Pré-Publication, Document De Travail Année : 2012

Around the physical Church-Turing thesis: cellular automata, formal languages, and the principles of quantum theory.

Gilles Dowek

Résumé

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.
Fichier principal
Vignette du fichier
lata.pdf (279.85 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04075081 , version 1 (19-04-2023)
hal-04075081 , version 2 (21-04-2023)

Identifiants

  • HAL Id : hal-04075081 , version 2

Citer

Gilles Dowek. Around the physical Church-Turing thesis: cellular automata, formal languages, and the principles of quantum theory.. 2012. ⟨hal-04075081v2⟩

Collections

INRIA INRIA2
15 Consultations
37 Téléchargements

Partager

More