Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Research talks;Logic and Foundations
We discuss classical realizability, a branch of mathematical logic that investigates the computational content of mathematical proofs by establishing a correspondence between proofs and programs. Research in this field has led to the development of highly technical constructions generalizing the method of forcing in set theory. In particular, models of realizability are models of ZF, and forcing models are special cases of realizability models.
03E70 ; 03F50 ; 03F55
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 424 p.
ISBN 978-0-521-77034-7
Encyclopedia of mathematics and its applications , 0082
Localisation : Collection 1er étage
logique mathématique # fondement des mathématiques # théorie des ensembles # théorie classique # philosophie des mathématiques # épistémologie # ensemble ordonné # nombre naturel # théorie euclidienne des ensembles # théorie cantorienne des ensembles
03B30 ; 00A30 ; 03A05 ; 03E30 ; 03E70
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 68 p.
Bonner mathematische schriften , 0194
Localisation : Publication 1er étage
ensemble ordonne # fondement de la logique mathematique # logique mathematique # t heorie d'ensemble non classique # theorie d'ensemble # theorie d'ensemble de second ordre
03E70 ; 03Exx
... Lire [+]
