Déposez votre fichier ici pour le déplacer vers cet enregistrement.

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

Filtrer

Domaine
Codes MSC
Audience

Z
=165'> CEMRACS

Hommage à Claude Shannon

  • |
  • Outreach
  • |
  • liste des Conferenciers
  • |
  • Domaines
  • |
  • Recherche
  • G

    F Nous contacter


    0

    Documents  03F55 | enregistrements trouvés : 1

    O
       

    -A +A

    P Q