Réalisabilité classique Une introduction
-
73
pages
-
Français
-
Documents
-
2011
Écrit par
Aloïs Brunel
Publié par
profil-urra-2012
-
73
pages
-
Français
-
Documents
-
2011
Description
Réalisabilité classique Une introduction Aloïs Brunel Vérité et Preuves - 11 Mars 2011
- logique implicative minimale
- correspondance preuves-programmes
- arithmétique d'ordre supérieur
- bornes sur la complexité des programmes
- terminaison des programmes
- réalisabilité classique
-
Publié par
-
Publié le
01 mars 2011
-
Langue
Français
Ajouté à mes notifications
Vous serez informé des prochaines publications.