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

dans Afficher les fiches par  
15 fiches trouvées

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