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 : Usr 3608 République Des Savoirs <>
Soumis le : lundi 9 août 2021 - 13:50:05
Dernière modification le : lundi 23 août 2021 - 17:00:01

Reflections on formalism and reductionism in Logic and Computer Science

Identifiants

Collections

Citation

Exporter

Métriques

11

Reflections on formalism and reductionism in Logic and Computer Science

Identifiants

Collections

Citation

Exporter

Partager

Métriques

11