Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 407 p.
ISBN 978-0-19-503964-1
Collected works , 0002
Localisation : Oeuvres complètes RdC (GODE)
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
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 412 p.
Collection U
Localisation : Ouvrage RdC (KLEE)
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
... Lire [+]
