Aide à la recherche   Requête : "arithmétique de Peano"

1	2022 Bibliothèque Tangente. N° 79. Le raisonnement par récurrence. p. 80-85.
2	2022 Bibliothèque Tangente. N° 79. Henri Poincaré.
3	2020 Histoires de Mathématiques. Logique. Les axiomes de Peano.
4	2018 Vidéo de l'IREM de Paris - Séminaire de l'IREM de Paris. Les propositions mathématiques "indécidables".
5	2015 Bulletin de l'APMEP. N° 513. p. 211-226. La récursivité ou l'algorithme sans boucles.
6	2015 La logique pas à pas.
7	2013 Bulletin de l'APMEP. N° 506. p. 600-610. La récurrence au fil des siècles.
8	2013 Bulletin de l'APMEP. N° 502. p. 89-95. Remarques sur les suites de Goodstein.
9	2011 Bulletin de l'APMEP. N° 492. p. 79-87. Les jeux diophantiens.
10	2011 TOUT.
11	2003 Leçons de mathématiques d'aujourd'hui. Vol. 2.
12	2003 Repères-IREM. N° 50. p. 85-104. Le programme de Hilbert et les mathématiques constructives.
13	2003 Repères-IREM. N° 50.
14	2001 Fondements des mathématiques. T. 2.
15	1994 Mathématiques constructives.
16	1994 Mathématiques constructives. Notes sur le formalisme en mathématiques. p. 39-70.
17	1990 Le logotron.
18	1986 Apports de l'informatique en arithmétique.
19	1971 Eléments de logique pour servir à l'enseignement mathématique.