m

F Nous contacter

0

Documents  03A05 | enregistrements trouvés : 181

O

-A +A

P Q

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.

- 91 p.
ISBN 978-0-8218-5040-4

Contemporary mathematics , 0039

Localisation : Collection 1er étage

03A05 ; 03E25 ; 03E45 ; 03F65 ; 36A03

... Lire [+]

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

Localisation : Colloque 1er étage (COLU)

00A30 ; 03-06 ; 03A05

... Lire [+]

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.


ISBN 978-0-387-90594-5

Localisation : Colloque 1er étage (ALPB)

collection des papiers # philosophie # temps

00A30 ; 01A99 ; 03A05 ; 83F05 ; 85A40

... Lire [+]

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

Z