Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 407 p.
Call n° : 00015941
Godel # axiome # finitude # fondement des mathématiques # hypothèse du continu # logique mathématique # oeuvres complètes # philosophie des mathématiques # épistémologie
00A30 ; 00A35 ; 03A05 ; 03B30 ; 03E50
Location : Oeuvres complètes RdC (GODE)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 412 p.
Call n° : 00027399
logique # calcul propositionnel # calcul de prédicat # théorie des modèles # théorie de la démonstration # décidabilité # calculabilité # fondement des mathématiques # machine de Turing # théorème de Church # théorème de Gödel # théorème de Gentzen # théorème d'Herbrand # interpolation de Craig # théorème de complétude de Gödel # théorème de Löwenheim-Skolem
03-01
Location : Ouvrage RdC (KLEE)