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

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

12019 Généalogie des mathématiques.Ressource en ligne
22014 Histoire de la logique.
32014 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
42011 Epistémologie mathématique.
52009 Bulletin de l'APMEP. N° 483. p. 449-466. Mathématiques constructives.Ressource en ligne
62004 Bibliothèque Tangente. N° 15. La chute de la maison Hilbert. p. 46-50.
72004 Bibliothèque Tangente. N° 15. La logique.
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
102003 Tangente Hors-série. N° 15. Vol. 1. p. 32-34. La chute de la maison Hilbert.
112003 Tangente Hors-série. N° 15. Vol. 1. La logique.
122000 Pour la Science. N° spécial. 278. Les infinis.
132000 Pour la Science. N° spécial. 278. Les infinis. p. 74-81. L'infini, pierre de touche du constructivisme.
142000 Tangente. N° 75. p. 28-35. Année mondiale des mathématiques.
151997 L'aventure des nombres.
161997 L'infini en Mathématiques.
171994 Histoire d'infini.Ressource en ligne
181994 Histoire d'infini. De la difficulté d'être omniscient. p. 129-149.Ressource en ligne
191994 Mathématiques constructives. Notes sur le formalisme en mathématiques. p. 39-70.Ressource en ligne
201994 Mathématiques constructives. Hier et demain. p. 3-14.Ressource en ligne