Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- Pp. 97-145
Cote : 00003792
axiome de choix # bon ordre # cardinal transfini # catégorie # ordinal transfini # théorie des ensembles
03E10 ; 03E25 ; 03Exx ; 03G30 ; 04-XX
Localisation : Ouvrage RdC (CAVA)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 82 p.
Cote : 00003793
axiomatisation # fondement des mathématiques # formalisation # théorie des ensembles
03-03 ; 03B30 ; 51-03
Localisation : Ouvrage RdC (CAVA)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- Pp. 76-131
Cote : 00003794
adjonction d'idéaux # axiomatique # catégoricité # fonction récurrente # indépendance # non contradiction # problème du continu # saturation # système formel
03D05 ; 03E50 ; 04A30 ; 43A60 ; 68Q45
Localisation : Ouvrage RdC (CAVA)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
Cote : 00003796
fonction régulièrement calculable # hypothèse du continu # ordin al constructible # ordinal # transfini
03E10 ; 03E50 ; 04A10 ; 04A30
Localisation : Ouvrage RdC (C)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 686 p.
Cote : 00016452
Cavaillès # axiomatique # logique formelle # philosophie des mathématiques # philosophie des sciences # épistémologie # oeuvres complètes
00A30 ; 03A05
Localisation : Oeuvres complètes RdC (CAVA)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 59 p.
Cote : 00009426
Jean Cavailles # 2ème guerre mondiale # resistant # histoire # biographie
01-06 ; 01A60 ; 01A70 ; 01A80
Localisation : Colloque 1er étage (AMIE)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 78 p.
Cote : 00011436
épistemologie # histoire de la logique # logique # philosophie des mathématiques # philosophie des sciences
01A25 ; 03A05
Localisation : Ouvrage RdC (CAVA)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 105 p.
Cote : 00003791
ensemble parfait # ensemble bien ordonné # ensemble formé # nombre irrationnel # ordinal transfini # puissance d'un ensemble # série trigonométrique # théorie de la croissance # théorie des ensembles
03E10 ; 03Exx ; 04-XX ; 04A10
Localisation : Ouvrage RdC (CAVA)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- Pp. 125-194
Cote : 00003795
arithmétique intuitioniste # existence des objets # expérience dialectique # expérience physique # induction transfinie # logique # méthode de désintégration # méthode de valuation # non contradiction # satisfaction dans un champ # saturation # théori e de la généralisation # théorème de Godel
11Uxx
Localisation : Ouvrage RdC (CAVA)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 274 p.
Cote : 00001519
Cantor # axiomatique # la création cantorienne # nombre irrationnel # philosophie des mathématiques # série trigonométrique # thé orie des ensembles # théorie de la croissance # épistémologie
00A30 ; 03A05 ; 04-03 ; 11-03
Localisation : Ouvrage RdC (CAVA)