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

  dans Afficher les fiches par  
31 fiches trouvées Reponses 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.
102003 Repères-IREM. N° 50. p. 85-104. Le programme de Hilbert et les mathématiques constructives.Ressource en ligne
112003 Tangente Hors-série. N° 15. Vol. 1. La logique.
122003 Tangente Hors-série. N° 15. Vol. 1. p. 32-34. La chute de la maison Hilbert.
132000 Pour la Science. N° spécial. 278. Les infinis.
142000 Pour la Science. N° spécial. 278. Les infinis. p. 74-81. L'infini, pierre de touche du constructivisme.
152000 Tangente. N° 75. p. 28-35. Année mondiale des mathématiques.
161997 L'aventure des nombres.
171997 L'infini en Mathématiques.
181994 Histoire d'infini.Ressource en ligne
191994 Histoire d'infini. De la difficulté d'être omniscient. p. 129-149.Ressource en ligne
201994 Mathématiques constructives.Ressource en ligne