Mots-clés – Auteurs

programme de Hilbert

Il y a 28 résultats pour cette recherche

2019 Généalogie des mathématiques.
Auteur : Séguy-Duclot Alain
2014 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).
Auteur : Krivine Jean-Louis
2011 Epistémologie mathématique.
Auteur : Lombardi Henri
2004 Bibliothèque Tangente. N° 15. La chute de la maison Hilbert. p. 46-50.
Auteur : Tollu Christophe
2004 Bibliothèque Tangente. N° 15. La logique.
Auteur : Cohen Gilles. Dir.
2003 Leçons de mathématiques d’aujourd’hui. Vol. 2.
Auteurs : Godefroy Gilles ; Girard Jean-Yves ; Tenenbaum Gérald ; Morain François ; Waldschmidt Michel ; David Guy ; Bardos Claude ; Karoubi Max ; Fontaine Jean-Marc ; Hindry Marc ; Raynaud Michel ; Keane Michael ; Charpentier Eric. Dir. ; Nikolski Nicolaï Kapitonovitch. Dir. ; Habsieger Laurent. Dir.
2003 Tangente Hors-série. N° 15. Vol. 1. p. 32-34. La chute de la maison Hilbert.
Auteur : Tollu Christophe
2003 Tangente Hors-série. N° 15. Vol. 1. La logique.
Auteur : Cohen Gilles. Dir.
2003 Repères-IREM. N° 50.
Auteur : Repères-IREM Comité de rédaction. Dir.
2003 Repères-IREM. N° 50. p. 85-104. Le programme de Hilbert et les mathématiques constructives.
Auteur : Lombardi Henri
2000 Tangente. N° 75. p. 28-35. Année mondiale des mathématiques.
Auteurs : Rittaud Benoît ; Busser Elisabeth
2000 Pour la Science. N° spécial. 278. Les infinis. p. 74-81. L’infini, pierre de touche du constructivisme.
Auteur : Calder Allan
2000 Pour la Science. N° spécial. 278. Les infinis.
Auteur : Pour la Science Comité de rédaction. Dir.
1997 L’aventure des nombres.
Auteur : Godefroy Gilles
1997 L’infini en Mathématiques.
Auteur : Verdier Norbert
1994 Mathématiques constructives. De la difficulté d’être omniscient. p. 25-37.
Auteur : Lombardi Henri
1994 Mathématiques constructives. Notes sur le formalisme en mathématiques. p. 39-70.
Auteur : Lombardi Henri
1994 Mathématiques constructives. Hier et demain. p. 3-14.
Auteur : Lombardi Henri
1994 Histoire d’infini.
Auteur : Commission inter-IREM Epistémologie et histoire des Mathématiques. Ed.
1994 Mathématiques constructives.
Auteur : Lombardi Henri
1994 Quatrième Université d’Eté d’Histoire des Mathématiques. Le théorème de Gödel : Enjeux et signification. p. 139-144.
Auteur : Ferréol Gilles
1994 Histoire d’infini. De la difficulté d’être omniscient. p. 129-149.
Auteur : Lombardi Henri
1993 PLOT. N° 62. p. 2-10. Quelles mathématiques dans 20 ans ?
Auteur : Mela Jean-François
1993 PLOT. N° 62.
Auteur : APMEP PLOT. Dir.
1990 Actes de l’université d’été sur l’Histoire des Mathématiques. La Rochelle. 28 août – 2 septembre 1988.
Auteur : Commission inter-IREM Epistémologie et histoire des Mathématiques. Ed.
1990 La démonstration mathématique dans l’histoire. Mathématiques constructives : hier et demain. p. 233-249.
Auteur : Lombardi Henri
1990 Actes de l’université d’été sur l’Histoire des Mathématiques. La Rochelle. Mathématiques constructives : hier et demain. p. 287-302.
Auteur : Lombardi Henri
1990 La démonstration mathématique dans l’histoire.
Auteurs : Barbin Evelyne. Dir. ; Commission inter-IREM Epistémologie et histoire des Mathématiques. Ed.