Carnap's remarks on Impredicative Definitions and the Genericity Theorem

Thomas Fruchart; Giuseppe Longo

Chapitre d'ouvrage

Carnap's remarks on Impredicative Definitions and the Genericity Theorem

Thomas Fruchart Giuseppe Longo ^{1, 2, 3}

1 CNRS - Centre National de la Recherche Scientifique

2 ENS-PSL - École normale supérieure - Paris

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

Abstract : Read: https://www.springer.com/fr/book/9780792356592

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

Type de document :

Chapitre d'ouvrage

Domaine :

Mathématiques [math]

Sciences cognitives

Liste complète des métadonnées

https://hal-ens.archives-ouvertes.fr/hal-03318819
Contributeur : UAR 3608 République des savoirs Connectez-vous pour contacter le contributeur
Soumis le : mercredi 11 août 2021 - 09:11:32
Dernière modification le : vendredi 10 juin 2022 - 15:54:01

Carnap's remarks on Impredicative Definitions and the Genericity Theorem

Identifiants

Collections

Citation

Exporter

Métriques

19

Carnap's remarks on Impredicative Definitions and the Genericity Theorem

Identifiants

Collections

Citation

Exporter

Partager

Métriques

19