Reflections on formalism and reductionism in Logic and Computer Science

Giuseppe Longo

Chapitre d'ouvrage

Reflections on formalism and reductionism in Logic and Computer Science

Giuseppe Longo ^{1, 2}

1 ENS Paris - École normale supérieure - Paris

2 Département de mathématiques et d'informatique

Keywords : Cognition and Foundations of Mathematical Knowledge Cognition Foundations Mathematical Knowledge

Type de document :

Chapitre d'ouvrage

Domaine :

Informatique [cs]

Mathématiques [math]

Liste complète des métadonnées

https://hal-ens.archives-ouvertes.fr/hal-03318152
Contributeur : Uar 3608 République Des Savoirs Connectez-vous pour contacter le contributeur
Soumis le : lundi 9 août 2021 - 13:50:05
Dernière modification le : mercredi 17 novembre 2021 - 12:34:05

Reflections on formalism and reductionism in Logic and Computer Science

Identifiants

Collections

Citation

Exporter

Métriques

Reflections on formalism and reductionism in Logic and Computer Science

Identifiants

Collections

Citation

Exporter

Partager

Métriques