Accueil Publimath  Aide à la recherche  Requête : "arithmétique de Peano"
Certification IDDN Valid HTML 4.01 Transitional

dans Afficher les fiches par  
16 fiches trouvées

12020 Histoires de Mathématiques. Logique. Les axiomes de Peano.Ressource en ligne
22018 Vidéo de l'IREM de Paris - Séminaire de l'IREM de Paris. Les propositions mathématiques "indécidables".Ressource en ligne
32015 Bulletin de l'APMEP. N° 513. p. 211-226. La récursivité ou l'algorithme sans boucles.Ressource en ligne
42015 La logique pas à pas.
52013 Bulletin de l'APMEP. N° 502. p. 89-95. Remarques sur les suites de Goodstein.Ressource en ligne
62013 Bulletin de l'APMEP. N° 506. p. 600-610. La récurrence au fil des siècles.Ressource en ligne
72011 Bulletin de l'APMEP. N° 492. p. 79-87. Les jeux diophantiens.Ressource en ligne
82011 TOUT.
92003 Leçons de mathématiques d'aujourd'hui. Vol. 2.
102003 Repères-IREM, N°50. p. 85-104. Le programme de Hilbert et les mathématiques constructives.Ressource en ligne
112001 Fondements des mathématiques. T. 2.
121994 Mathématiques constructives. Notes sur le formalisme en mathématiques. p. 39-70.Ressource en ligne
131994 Mathématiques constructives.Ressource en ligne
141990 Le logotron.Ressource en ligne
151986 Apports de l'informatique en arithmétique.
161971 Eléments de logique pour servir à l'enseignement mathématique.Ressource en ligne