Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xiii; 311 p.
ISBN 978-1-107-00387-3
Localisation : Colloque 1er étage (SAN)
infini # phylosophie # histoire des mathématiques # cosmologie
00B15 ; 00A30 ; 03A05 ; 85A40
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 273 p.
ISBN 978-2-8417-4372-8
Philosophia scientiae , 0005
Localisation : Salle de manutention
histoire des mathématiques # épistémologie # mathématique Grecques # théorie des types # fondement des mathématiques # preuve algébrique # Hindenburg # Grassman # Ausdehnungslehre # leopold Kronecker # Cantor #perspective hétérodoxe # Russell # Zermelo # théorie des ensembles # Hilbert # L.E.J. Brouwer # Roger Apéry # E. Nelson # G. Reeb
01-06 ; 03-03 ; 03A05 ; 01A20 ; 01A60 ; 01A55
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-0-19-851476-3
Localisation : Colloque 1er étage (MUSS)
fondement # logique mathématique # philosophie des mathématiques # épistémologie
00A30 ; 03-06 ; 03A05
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Travaux du centre de recherches semiologiques , 0062
Localisation : Colloque 1er étage (NEUC)
langage # logique # semiologie # épistémologie des sciences
03A05 ; 03B65
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-3-540-61434-0
Lecture notes in logic , 0006
Localisation : Colloque 1er étage (BRUN)
Gödel # calcul # cosmologie # fondement logique des mathématiques # informatique # philosophie de la logique mathématique # physique # théorie de la récursion # théorie des ensembles # théorie des modèles # épistémologie
03A05 ; 03Bxx ; 03Cxx ; 03Dxx ; 03Exx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 599 p.
ISBN 978-90-6196-213-7
Mathematical centre tracts , 0136
Localisation : Collection 1er étage
analyse linguistique # épistemologie # informatique # intelligence artificielle # langage formel # logique # preuve # résolution de problème
03-06 ; 03A05 ; 03B15 ; 03B45 ; 03B50
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 322 p.
ISBN 978-90-6196-211-3
Mathematical centre tracts , 0135
Localisation : Collection 1er étage
analyse linguistique # épistemologie # informatique # intelligence artificielle # langage formel # logique # preuve # résolution de problème
03-06 ; 03A05 ; 03B15 ; 03B45 ; 03B50
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-0-444-87656-0
Studies in logic and the foundations of mathematics , 0114
Localisation : Colloque 1er étage (SALZ)
fondements des mathematiques # logique # philosophie des sciences
00A35 ; 00A69 ; 03-03 ; 03A05 ; 03E25 ; 00A30
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 158 p;
ISBN 978-2-02-006061-5
Points sciences
Localisation : Ouvrage RdC (Pens)
03A05
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 289 p.
ISBN 978-2-222-03464-3
C.n.r.s. centre regional de publications de marseille
Localisation : Ouvrage RdC (AUDU)
00A06 ; 00A30 ; 03A05
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-0-8218-1312-6
Proceedings of symposia in applied mathematics , 0012
Localisation : Collection 1er étage
03A05 ; 03Bxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-0-444-85423-0
Studies in logic and the foundations of mathematics , 0104
Localisation : Colloque 1er étage (HANN)
biologie # fondement # histoire # linguistique # logique # mathématique # méthodologie # philosophie de la science # probabilité et induction # psychologie # récursion et informatique # science physique # science sociale # théorie axiomatique des ensembles # théorie de la preuve # théorie des modèles # éthique de la science
00A30 ; 03-02 ; 03-06 ; 03A05 ; 03Dxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Studies in logic and the foundations of mathematics
Localisation : Colloque 1er étage (LOND)
analyse non-standard # axiomatique d'Euclide # dagme de Frege # dialectique grecque # fondement des mathématiques # formalisation du second ordre # logique et heuristique # mathématique post-godelienne et philosophie # mode platonicien de parole # métaphysique du calcul # philosophie des mathématiques # preuve d'indépendance de Cohen # preuve de complétude # rigueur informe # théorie des ensembles
03A05 ; 03B48 ; 03Bxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 440 p.
ISBN 978-0-7204-2235-1
Studies in logic and the foundations of mathematics
Localisation : Colloque 1er étage (JERU)
03A05 ; 03B30
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xiii; 165 p.
ISBN 978-981-4723-67-1
Localisation : Loisir RdC
philosophie # humour # paradoxe # logique
03A05 ; 00A09
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- x; 277 p.
ISBN 978-0-19-875959-1
Localisation : Ouvrage RdC (GODE)
Kurt Gödel # théorème d'incomplétude de Gödel # logique intuitionniste # philosophie # limite de la connaissance
03-06 ; 03A05 ; 03B42 ; 03B70 ; 03F40 ; 68Q55 ; 00B15
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xii; 183 p.
ISBN 978-1-107-11346-6
Cambridge philosophy classics
Localisation : Ouvrage RdC (LAKA)
théorie de la démonstration # philosophie # logique mathématique
03-02 ; 03A05 ; 00A35
... Lire [+]
