Aide à la recherche   Requête : "théorème de complétude"

1	2015 Tangente. N° 163. p. 10-12. Le génie interrompu d'Alan Turing.
2	2007 Les métamorphoses du calcul.
3	2004 Du mode d'existence des objets de la mathématique.
4	2004 Gödel.
5	2003 Sciences Sup. Logique mathématique. V. 1.
6	2002 Le théorème de Gödel.
7	2002 Théorèmes d'incomplétude de Gödel.
8	2001 La notion d'infini.
9	2000 Gödel, une révolution en Mathématiques.
10	1994 Mathématiques constructives. Notes sur le formalisme en mathématiques. p. 39-70.
11	1993 Logique mathématique. T. 1.
12	1990 Le logotron.
13	1989 Bulletin de l'APMEP. N° 369. p. 417-426. Pour une révolution de l'intelligence dans l'enseignement des mathématiques et ailleurs. (2)
14	1989 Le théorème de Gödel.
15	1980 Le théorème de Gödel.
16	1978 Nombre, mesure et continu.
17	1977 Histoire et philosophie des sciences : Etude épistémologique et historique des idées de nombre, de mesure et de continu. T. 2.
18	1976 Histoire et philosophie des sciences : Etude épistémologique et historique des idées de nombre, de mesure et de continu. T. 1.
19	1971 Eléments de logique pour servir à l'enseignement mathématique.