Arrêt de service lundi 11 juillet de 12h30 à 13h : tous les sites du CCSD (HAL, EpiSciences, SciencesConf, AureHAL) seront inaccessibles (branchement réseau à modifier)
Accéder directement au contenu Accéder directement à la navigation
Chapitre d'ouvrage

The Mathematics of Computing between Logic and Physics

Abstract : 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.
Liste complète des métadonnées

https://hal-ens.archives-ouvertes.fr/hal-03320004
Contributeur : UAR 3608 République des savoirs Connectez-vous pour contacter le contributeur
Soumis le : vendredi 13 août 2021 - 16:01:43
Dernière modification le : jeudi 17 mars 2022 - 10:08:39
Archivage à long terme le : : dimanche 14 novembre 2021 - 18:21:38

Fichier

2021_08_13_gius-thierCompWorld...
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

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⟩

Partager

Métriques

Consultations de la notice

20

Téléchargements de fichiers

21