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.
- 338 p.
ISBN 978-0-8218-0575-6
Collected works , 0006
Localisation : Oeuvres complètes RdC (ROBI)
Robinson # arithmétique # biographie # définissabilité # ensemble rénumératif récursif # fonction hyperarithmétique # fonction récursive # indécidabilité # logique # oeuvres complètes # problème de décision diophantienne # réduction # résolution # théorie de la décision # théorie des nombres # équation diophantienne
03Dxx ; 07A75
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 532 p.
ISBN 978-0-19-507255-6
Collected works , 0003
Localisation : Oeuvres complètes RdC
histoire des mathématiques # Gödel # oeuvre # logique # fondement des mathématiques # phylosophie # continuum # théorie de la relativité
01A75 ; 03-03
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- vi; 425p.
ISBN 978-0-521-80240-6
Localisation : Biographie RdC (TARS)
Alfred Tarski # biographie #logique # histoire des mathématiques # histoire de la logique
01A70 ; 03-03
... Lire [+]
