# Jean-Yves Girard

> Fiche auteur du catalogue https://superlivre.fr/auteur/jean-yves-girard-cb11905034c (données du dépôt légal BnF, enrichies Wikidata).

- **Dates** : 1947–
- **Occupation** : mathématicien · chercheur · logicien
- **Nationalité** : France
- **Œuvres au catalogue** : 7 (1980–2016)
- **Pagination médiane** : 248 pages
- **Wikipedia** : https://fr.wikipedia.org/wiki/Jean-Yves_Girard
- **Wikidata** : https://www.wikidata.org/wiki/Q3087821
- **BnF** : https://catalogue.bnf.fr/ark:/12148/cb11905034c

## Œuvres

| Année | Titre | Éditeur (1re éd.) | Pages |
|---|---|---|---|
| 1980 | [Les Démonstrations de cohérence de l'arithmétique](https://superlivre.fr/livre/les-demonstrations-de-coherence-de-larithmetique-98ba991e3a26) | [IREM Paris-Nord](https://superlivre.fr/editeur/irem-paris-nord) |  |
| 1983 | [Cinq conférences sur l'indécidabilité](https://superlivre.fr/livre/cinq-conferences-sur-lindecidabilite-21b2d9a2e806) | [Presses de l'école nationale des ponts et chaussées](https://superlivre.fr/editeur/presses-de-lecole-nationale-des-ponts-et-chaussees) | 77 |
| 2005 | [Les fondements des mathématiques](https://superlivre.fr/livre/les-fondements-des-mathematiques-cb393021137) | [Service du film de recherche scientifique [éd., distrib.]](https://superlivre.fr/editeur/service-du-film-de-recherche-scientifique-ed-distrib) |  |
| 2006 | [Le point aveugle](https://superlivre.fr/livre/le-point-aveugle-5a203cf50568) | [Hermann](https://superlivre.fr/editeur/hermann) |  |
| 2006 | [Le point aveugle Tome 1](https://superlivre.fr/livre/le-point-aveugle-tome-1-cb402283616) | [Hermann](https://superlivre.fr/editeur/hermann) | 280 |
| 2007 | [Le point aveugle Tome 2](https://superlivre.fr/livre/le-point-aveugle-tome-2-cb41025471v) | [Hermann](https://superlivre.fr/editeur/hermann) |  |
| 2016 | [Le fantôme de la transparence](https://superlivre.fr/livre/le-fantome-de-la-transparence-da9c200ab1f8) | [Allia](https://superlivre.fr/editeur/allia) | 248 |

## En tant que contributeur

- 2005 — [Les fondements des mathématiques](https://superlivre.fr/livre/les-fondements-des-mathematiques-cb393021137) de Jean-Yves Girard
- 1989 — [Le Théorème de Gödel](https://superlivre.fr/livre/le-theoreme-de-godel-cb35039903c) de James R. Newman, Kurt Gödel, Ernest Nagel

## En tant que éditeur intellectuel

- 1995 — [La machine de Turing](https://superlivre.fr/livre/la-machine-de-turing-cb35764538j) de Alan Mathison Turing

## Éditeurs principaux

- [Hermann](https://superlivre.fr/editeur/hermann) — 3 œuvres
- [Allia](https://superlivre.fr/editeur/allia) — 1 œuvres
- [IREM Paris-Nord](https://superlivre.fr/editeur/irem-paris-nord) — 1 œuvres
- [Presses de l'école nationale des ponts et chaussées](https://superlivre.fr/editeur/presses-de-lecole-nationale-des-ponts-et-chaussees) — 1 œuvres
- [Service du film de recherche scientifique [éd., distrib.]](https://superlivre.fr/editeur/service-du-film-de-recherche-scientifique-ed-distrib) — 1 œuvres