Accueil Publimath  Aide à la recherche  Requête : "programme de Hilbert"
Certification IDDN Valid HTML 4.01 Transitional

dans Afficher les fiches par  
28 fiches trouvées Réponses 1 à 20 Suivant Fin

12014 Histoire de la logique.
22014 Vidéo de l'IREM de Paris - Conférences. A propos de la théorie des démonstrations (du programme de Hilbert aux programmes tout court).Ressource en ligne
32011 Epistémologie mathématique.
42009 Bulletin de l'APMEP. N° 483. p. 449-466. Mathématiques constructives.Ressource en ligne
52004 Bibliothèque Tangente. N° 15. La chute de la maison Hilbert. p. 46-50.
62004 Bibliothèque Tangente. N° 15. La logique.
72003 Leçons de mathématiques d'aujourd'hui. Vol. 2.
82003 Repères-IREM, N°50. p. 85-104. Le programme de Hilbert et les mathématiques constructives.Ressource en ligne
92003 Tangente Hors-série. N° 15. Vol. 1. p. 32-34. La chute de la maison Hilbert.
102003 Tangente Hors-série. N° 15. Vol. 1. La logique.
112000 Pour la Science. N° spécial. 278. Les infinis. p. 74-81. L'infini, pierre de touche du constructivisme.
122000 Pour la Science. N° spécial. 278. Les infinis.
132000 Tangente. N° 75. p. 28-35. Année mondiale des mathématiques.
141997 L'aventure des nombres.
151997 L'infini en Mathématiques.
161994 Histoire d'infini.Ressource en ligne
171994 Histoire d'infini. De la difficulté d'être omniscient. p. 129-149.Ressource en ligne
181994 Mathématiques constructives. Hier et demain. p. 3-14.Ressource en ligne
191994 Mathématiques constructives.Ressource en ligne
201994 Mathématiques constructives. Notes sur le formalisme en mathématiques. p. 39-70.Ressource en ligne