1990 La démonstration mathématique dans l’histoire.
Auteurs : Barbin Evelyne. Dir. ; Commission inter-IREM Epistémologie et histoire des Mathématiques. Ed.
mathématiques constructives
Il y a 30 résultats avec cette recherche.
-
2000 Logique, ensemble, catégories. Le point de vue constructif.
Auteur : Ageron Pierre
-
2007 Les métamorphoses du calcul.
Auteur : Dowek Gilles
-
Auteur : Commission inter-IREM Epistémologie et histoire des Mathématiques. Ed.
-
1999 Repères-IREM. N° 34.
-
2003 Repères-IREM. N° 50.
-
-
1997 Repères-IREM. N° 29.
-
1981 Mesure d’irrationalité et de transcendance.
Auteur : Apéry Roger
-
1982 Penser les mathématiques.
Auteurs : Guénard François. Ed. ; Lelièvre Gilbert. Ed. ; Dieudonné Jean. Dir. ; Loi Maurice. Dir. ; Thom René. Dir.
-
1980 Mathématique constructive.
Auteur : Apéry Roger
-
1980 La philosophie intuitionniste et ses conséquences mathématiques.
Auteur : Dalen Dirk van
-
1994 Histoire d’infini.
Auteur : Commission inter-IREM Epistémologie et histoire des Mathématiques. Ed.
-
1982 Penser les mathématiques. Mathématique constructive. p. 58-72.
Auteur : Apéry Roger