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 Paris - École normale supérieure - Paris

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

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

Keywords : Mathematical Knowledge Foundations of Mathematical Knowledge Cognition Cognition and Foundations of 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 : Usr 3608 République Des Savoirs <>
Soumis le : mercredi 11 août 2021 - 09:11:32
Dernière modification le : lundi 23 août 2021 - 17:00:01

Carnap's remarks on Impredicative Definitions and the Genericity Theorem

Identifiants

Collections

Citation

Exporter

Métriques

16

Carnap's remarks on Impredicative Definitions and the Genericity Theorem

Identifiants

Collections

Citation

Exporter

Partager

Métriques

16