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-PSL - É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 : vendredi 10 juin 2022 - 15:54:01

Reflections on formalism and reductionism in Logic and Computer Science

Identifiants

Collections

Citation

Exporter

Métriques

13

Reflections on formalism and reductionism in Logic and Computer Science

Identifiants

Collections

Citation

Exporter

Partager

Métriques

13