Mots-clés – Auteurs

mathématiques constructives

Il y a 30 résultats pour cette recherche

2017 Repères-IREM. N° 107.
Auteur : Repères-IREM Comité de rédaction. Dir.
2017 Repères-IREM. N° 107. p. 45-66. Roger Apéry, l’humour au service d’une pensée libre et originale sur les mathématiques constructives.
Auteurs : Lombardi Henri ; Neuwirth Stefan
2009 Bulletin de l’APMEP. N° 483. p. 449-466. Mathématiques constructives.
Auteur : Lombardi Henri
2007 Les métamorphoses du calcul.
Auteur : Dowek Gilles
2003 Repères-IREM. N° 50. p. 85-104. Le programme de Hilbert et les mathématiques constructives.
Auteur : Lombardi Henri
2003 Repères-IREM. N° 50.
Auteur : Repères-IREM Comité de rédaction. Dir.
2000 Logique, ensemble, catégories. Le point de vue constructif.
Auteur : Ageron Pierre
1999 Repères-IREM. N° 34.
Auteur : Repères-IREM Comité de rédaction. Dir.
1999 Repères-IREM. N° 34. p. 55-69. A propos du théorème des accroissements finis.
Auteur : Lombardi Henri
1997 Repères-IREM. N° 29.
Auteur : Repères-IREM Comité de rédaction. Dir.
1997 Repères-IREM. N° 29. p. 27-42. Le raisonnement par l’absurde.
Auteur : Lombardi Henri
1994 Mathématiques constructives.
Auteur : Lombardi Henri
1994 Mathématiques constructives. Mathématiques constructives, quelques principes de travail. p. 71-95.
Auteur : Lombardi Henri
1994 Mathématiques constructives. Hier et demain. p. 3-14.
Auteur : Lombardi Henri
1994 Mathématiques constructives. De la difficulté d’être omniscient. p. 25-37.
Auteur : Lombardi Henri
1994 Mathématiques constructives. A propos du théorème des accroissements finis. p. 15-23.
Auteur : Lombardi Henri
1994 Histoire d’infini.
Auteur : Commission inter-IREM Epistémologie et histoire des Mathématiques. Ed.
1994 Histoire d’infini. De la difficulté d’être omniscient. p. 129-149.
Auteur : Lombardi Henri
1991 Repères-IREM. N° 5.
Auteur : Repères-IREM Comité de rédaction. Dir.
1991 Repères-IREM. N° 5. p. 112-126. L’uniformité, un concept implicite efficace chez Cauchy.
Auteur : Lombardi Henri
1990 L’identité en mathématiques constructives.
Auteur : Dalen Dirk van
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 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.
Auteurs : Barbin Evelyne. Dir. ; Commission inter-IREM Epistémologie et histoire des Mathématiques. Ed.
1982 Penser les mathématiques.
Auteurs : Guénard François. Ed. ; Lelièvre Gilbert. Ed. ; Dieudonné Jean. Dir. ; Loi Maurice. Dir. ; Thom René. Dir.
1982 Penser les mathématiques. Mathématique constructive. p. 58-72.
Auteur : Apéry Roger
1981 Mesure d’irrationalité et de transcendance.
Auteur : Apéry Roger
1980 Mathématique constructive.
Auteur : Apéry Roger
1980 La philosophie intuitionniste et ses conséquences mathématiques.
Auteur : Dalen Dirk van