The physical Church thesis as an explanation of the Galileo thesis

Pré-Publication, Document De Travail Année : 2012

(1)

Gilles Dowek

Inria Saclay - Ile de France

The Galileo thesis is a consequence of the physical Church thesis.

Logique en informatique [cs.LO]

Fichier principal

louxor.pdf (228.91 Ko)

Origine	Fichiers produits par l'(les) auteur(s)

https://inria.hal.science/hal-04071350

Soumis le : lundi 17 avril 2023-11:58:17

Dernière modification le : jeudi 20 avril 2023-03:29:44

hal-04071350 , version 1 (17-04-2023)

Gilles Dowek. The physical Church thesis as an explanation of the Galileo thesis. 2012. ⟨hal-04071350⟩

INRIA INRIA2

11 Consultations

13 Téléchargements