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

dans Afficher les fiches par  
22 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 logique.
62004 Bibliothèque Tangente. N° 15. La chute de la maison Hilbert. p. 46-50.
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. La logique.
102003 Tangente Hors-série. N° 15. Vol. 1. p. 32-34. La chute de la maison Hilbert.
112000 Tangente. N° 75. p. 28-35. Année mondiale des mathématiques.
121997 L'aventure des nombres.
131994 Mathématiques constructives. Notes sur le formalisme en mathématiques. p. 39-70.Ressource en ligne
141994 Mathématiques constructives.Ressource en ligne
151994 Mathématiques constructives. Hier et demain. p. 3-14.Ressource en ligne
161994 Quatrième Université d'Eté d'Histoire des Mathématiques. Le théorème de Gödel : Enjeux et signification. p. 139-144.Ressource en ligne
171993 PLOT. N° 62. p. 2-10. Quelles mathématiques dans 20 ans ?
181990 Actes de l'université d'été sur l'Histoire des Mathématiques. La Rochelle. Mathématiques constructives : hier et demain. p. 287-302.
191990 Actes de l'université d'été sur l'Histoire des Mathématiques. La Rochelle. 28 août - 2 septembre 1988.
201990 La démonstration mathématique dans l'histoire.