m

Documents  Kleene, Stephen C. | enregistrements trouvés : 2

O
     

-A +A

P Q

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

Z