m

Documents  Feferman, Solomon | enregistrements trouvés : 4

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.

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

Z