m

F Nous contacter

0

Documents  03E70 | enregistrements trouvés : 3

O
     

-A +A

P Q

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 [+]

Z