THE MATHEMATICS OF COMPUTING BETWEEN LOGIC AND PHYSICS - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2010

THE MATHEMATICS OF COMPUTING BETWEEN LOGIC AND PHYSICS

Giuseppe Longo
Thierry Paul
  • Fonction : Auteur
  • PersonId : 878449
  • IdRef : 158973372

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
gius-thier-sent.pdf (226.3 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00496392 , version 1 (30-06-2010)

Identifiants

  • HAL Id : hal-00496392 , version 1

Citer

Giuseppe Longo, Thierry Paul. THE MATHEMATICS OF COMPUTING BETWEEN LOGIC AND PHYSICS. 2010. ⟨hal-00496392⟩
561 Consultations
359 Téléchargements

Partager

Gmail Facebook X LinkedIn More