Aide à la recherche   Requête : programme de Hilbert

31 fiches trouvées

Reponses 21 à 31

21	1994 Mathématiques constructives. De la difficulté d'être omniscient. p. 25-37.
22	1994 Mathématiques constructives. Hier et demain. p. 3-14.
23	1994 Mathématiques constructives. Notes sur le formalisme en mathématiques. p. 39-70.
24	1994 Quatrième Université d'Eté d'Histoire des Mathématiques. Le théorème de Gödel : Enjeux et signification. p. 139-144.
25	1993 PLOT. N° 62.
26	1993 PLOT. N° 62. p. 2-10. Quelles mathématiques dans 20 ans ?
27	1990 Actes de l'université d'été sur l'Histoire des Mathématiques. La Rochelle. 28 août - 2 septembre 1988.
28	1990 Actes de l'université d'été sur l'Histoire des Mathématiques. La Rochelle. Mathématiques constructives : hier et demain. p. 287-302.
29	1990 La démonstration mathématique dans l'histoire.
30	1990 La démonstration mathématique dans l'histoire. Mathématiques constructives : hier et demain. p. 233-249.
31	1978 Abrégé d'histoire des mathématiques 1700-1900. II. Axiomatique et Logique. p. 315-430.