m

Documents  Gauthier, Yvon | enregistrements trouvés : 3

O
     

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 233 p.
ISBN 978-2-84352-024-2

Bibliothèque des sciences

Localisation : Enseignement RdC (GAUT)

K-théorie # axiome # consistance # entrelacs et motifs # fonction elliptique # mécanique quantique # noeud # règle logique # symplectique # syntaxe # sémantique # théorie des modèles # théorie des systèmes dynamiques

03-01

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 174 p.
ISBN 978-2-84134-040-8

concepts

Localisation : Ouvrage RdC (GAUT)

logique mathématique # philosophie des mathématiques # épistémologie des mathématiques

00A30 ; 03-01 ; 03A35

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 237 p.
ISBN 978-1-4020-0689-0

Synthese library , 0310

Localisation : Ouvrage RdC (GAUT)

logique # logique interne # philosophie des mathématiques # épistémologie des mathématiques # fondement des mathématiques # arithmétique # Kronecker # Cantor # Brouwer # Hilbert # Frege # 19è siècle # 20è siècle # preuve de consistance # arithmétique avec descente infinie

03-01 ; 00A30 ; 03-03 ; 03B30

... Lire [+]

Z