The Mathematics of Computing between Logic and Physics - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu
Chapitre D'ouvrage Année : 2011

The Mathematics of Computing between Logic and Physics

Résumé

Do physical processes compute? And what is a computation? These questions have gained a revival of interest in recent years, due to new technologies in physics, new ideas in computer sciences (for example quantum computing, networks, non-deterministic algorithms) and new concepts in logic. In this paper we examine a few directions, as well as the problems they bring to the surface.
Fichier principal
Vignette du fichier
2021_08_13_gius-thierCompWorld.pdf (301.24 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03320004 , version 1 (13-08-2021)

Identifiants

Citer

Giuseppe Longo, Thierry Paul. The Mathematics of Computing between Logic and Physics. Cooper, Barry; Sorbi, Andrea. Computability in Context: Computation and Logic in the Real World, Imperial College Press, pp.243-273, 2011, 1848162456, 978-1848162457. ⟨10.1142/9781848162778_0007⟩. ⟨hal-03320004⟩
30 Consultations
37 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More