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

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