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

Le point aveugle. Vol. II :
Cours de logique vers l'imperfection
Girard, Jean-Yves | Hermann 2007

Ouvrage

V

- 567 p.
ISBN 978-270-566634-7

Visions des sciences

Localisation : Ouvrage RdC (GIRA)

logique mathématique # théorie de la démonstration # épistémologie

03-XX ; 03A05

... Lire [+]

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

Cinq conférences sur l'indécidabilité Bouleau, Nicolas ; Girard, Jean-Yves ; Louveau, Alain | Presse De L'Ecole Nationale Des Ponts Et Chaussees 1983

Ouvrage

V

- 77 p.
ISBN 978-2-85978-055-5

Localisation : Ouvrage RdC (BOUL)

03A05 ; 03B25 ; 03E60

... Lire [+]

Filtrer

Type
Codes MSC

Ressources Electroniques

Books & Print journals

Recherche avancée


0
Z
t=link&xRecord=19236600157910548829" class='linkstyle1'>Nagel, Ernest ; Newman, James R. ; Godel, Kurt ; Girard, Jean-Yves ; Scherrer, Jean-Baptiste | Editions Du Seuil 1989

Ouvrage

y

- 178 p.
ISBN 978-2-02-32778-7

Points

Localisation : Ouvrage RdC (THEO)

théorème de Gödel # logique mathématique # théorème d'incomplétude # philosophie

03-03 ; 03A05

... Lire [+]

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

Leçons de mathématiques d'aujourd'hui. Vol. 2 Godefroy, Gilles ; Girard, Jean-Yves ; Tenebaum, Gérald ; Morain, François ; Waldschmidt, Michel ; David, Guy ; Bardos, Claude ; Karoubi, Max ; Fontaine, Jean-Marc ; Hindry, Marc ; Raynaud , Michel ; Keane, Michael | Cassini 2003

Ouvrage

V

- 360 p.
ISBN 978-2-84225-058-4

Le sel et le fer , 0012

Localisation : Ouvrage RdC (LECO)

histoire des mathématiques # théorie de la démonstration # programme de Hilbert # logique linéaire # nombre entier # cryptologie # fonction modulaire # transcendance # ensemble rectifiable # controlabilité # topologie # forme différentielle # nombre p-adique # représentation de Galois # équation diophantienne # courbe algébrique # groupe fondamental # marche aléatoire

00B15 ; 00A05 ; 01A60

... Lire [+]

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

Proofs and types Girard, Jean-Yves ; Taylor, Paul ; Lafont , Yves | Cambridge University Press 1989

Ouvrage

V

- 176 p.
ISBN 978-0-521-37181-0

Cambridge tracts in theoretical computer science , 0007

Localisation : Ouvrage RdC (GIRA)

logique # théorie de la preuve

03Cxx ; 03F40 ; 03Fxx

... Lire [+]

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

Le théorème de Gödel Girard, Jean-Yves ; Godel, Kurt ; Nagel, Ernest ; Newman, James R. | Editions Du Seuil 1989

Ouvrage

y

- 178 p.
ISBN 978-2-02-010652-8

Collection sources du savoir

Localisation : Ouvrage RdC (THEO)

théorème de Gödel # logique mathématique # théorème d'incomplétude # philosophie

03-03 ; 03A05

... Lire [+]

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

Proof theory and logical complexity,vol. 1 Girard, Jean-Yves | Bibliopolis 1987

Ouvrage

V


ISBN 978-88-7088-123-3

Studies in proof theory

Localisation : Disparu

complexite # logique # theorie de la preuve

03F20 ; 03Fxx

... Lire [+]