Reflections on formalism and reductionism in Logic and Computer Science - ENS - École normale supérieure Accéder directement au contenu
Chapitre D'ouvrage Année : 1992

Reflections on formalism and reductionism in Logic and Computer Science

Giuseppe Longo
École normale supérieure - Paris
Département de mathématiques et d'informatique
CV

Domaines

Informatique [cs] Mathématiques [math]

UAR 3608 République des savoirs  : Connectez-vous pour contacter le contributeur

https://hal-ens.archives-ouvertes.fr/hal-03318152

Soumis le : lundi 9 août 2021-13:50:05

Dernière modification le : vendredi 10 juin 2022-15:54:01

Fichier non déposé

Dates et versions

hal-03318152 , version 1 (09-08-2021)

Identifiants

  • HAL Id : hal-03318152 , version 1

Citer

Giuseppe Longo. Reflections on formalism and reductionism in Logic and Computer Science. European Conference of Mathematics, pp.202-209, 1992. ⟨hal-03318152⟩

Exporter

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

ENS-PARIS INSMI PSL
15 Consultations
0 Téléchargements

Partager

Gmail Facebook Twitter LinkedIn More