Histoire et Epistémologie
History and Epistemology
Historia y Epistemología


Akihori Kanamori (Guest editor) (1997) Proof and Progress in Mathematics. Synthese: An International Journal for Epistemology, Methodology and Philosophy of Science, vol III, 2, May 1997. Dordrecht: Kluwer Academic Publishers. ISSN 0039-7857, pp. 131-210.

    Battista, M. T.; Clements, D. H. (1995): Connecting Research to Teaching: Geometry and Proof Mathematics Teacher, vol. 88 n1 p. 48-54
    Beaulieu L. (1990) Proof in expository writing -- Some examples from Bourbaki's early drafts. Interchange 21(2) 35-45.

Bernays P. (2003) Philosophie des mathématiques. Paris: Vrin

    Bulher M. et Michel-Pajus A. (2008) Les démonstrations en arithmétique : à propos de quelques preuves historiques du petit théorème de Fermat Repères 71, Irem Paris 7
    Burn B . (2005) The Vice: Some Historically Inspired and Proof-Generated Steps to Limits of Sequences Educational Studies in Mathematics Vol. 60 n° 3 pp. 269-295

Caveing M. (1977) La constitution du type mathématique de l'idéalité dans la pensée grecque. Paris

Chemla K. (1991) Theoretical aspects of the Chinese algorithmique tradition (first to third century). Historia scientiarum. 42, 75-98 (+errata)

Chemla K. (1992) Résonance entre démonstration et procédure. Remarques sur le commentaire de Liu Hui (3ième s.) aux Neuf Chapitres sur les Procédures Mathématiques (1ier s.). Extrême-Orient, Extrême-Occident 14, 91-129.

Chemla K. (1996) Relations between procedure and demonstration. Measuring the circle in the Nine Chapters on Mathematical Procedures and their commentaries by Liu Hui (3rd century). History of mathematics and Education: Ideas and Experiences (pp. 69-112). Göttingen: Vandenboeek and Ruprecht.

Chemla K. (1997) What is at stake in mathematical proofs from the third century China. Science in Context 10(2) 227-251.

Dales G., Oliveri G. (eds.) (1998) Truth in mathematics. Oxford University Press.

Davis E. (1893) On the teaching of elementary geometry. Bulletin of the New York Mathematical Society 3, 8-14
Delahaye J.-P. (2001) Ce qui est faux peut être utile. Pour la Science 280, 100-105.
Dewey J. (1903) The psychological and the logical in teaching geometry. Educational Review XXV, pp.387-399

Gonseth F. (1926) Le fondement des mathématiques (Deuxième édition). Paris: Albert Blanchard.

Gonseth F. (1936) Les mathématiques et la réalité (réédition 1974). Paris: Albert Blanchard.

Goodman N. D. (1993) Modernizing the Philosophy of Mathematics. In: Alvin M. W. (ed) Essays in Humanistic Mathematics (pp. 63-66) MAA

Granger G. G. (1992) La vérification. Paris: Odile Jacob.

Granger G. G. (1994) Formes opérations objets. Paris: Vrin.

    Jones P. (1944) Early american geometry. Mathematics Teacher 37, 3-11
    Keigwin H. (1892) The old and new methods in geometry. Educational Review 4, 182-184.

Kitcher P. (1977) On the uses of rigorous proof, Science 196, pp. 782-783 [A review of Lakatos' Proofs and refutations]

    Kleiner I. (1991) Rigor and Proof in Mathematics: A Historical Perspective. Mathematics Magazine 64 (5) 291-314.

Lakatos I. (1976) Proofs and Refutations. Cambridge : Cambridge University Press.

version española : (1978) Pruebas y refutaciones. Madrid : Alianza Editorial.
traduction française : (1985)Preuves et réfutations. Paris : Hermann.

Lakatos I. (1978) Cauchy and the Continuum. The Mathematical Intelligencer 1(3) 151-161

Levingston E. (1986) The ethnomethodological foundations of mathematics. London: Routledge and Kegan Paul plc.

    Magnani L. (2001) Philosophy and Geometry. Theoretical and Historical Issues.
    Menghini M. (1996) The Euclidean method in geometry teaching. In: H. Jahnke, N. Knoche, M. Otte (eds.) History of mathematics and education: Ideas and experiences. Gottingen: Vandenhoeck & Ruprecht

Mueller I. (1981). Philosophy of mathematics and deductive structure in Euclid's Elements. Cambridge, MA: MIT Press.

    Otte M. (2006) Mathematical Epistemology from a Peircean Semiotic Point of View Educational Studies in Mathematics Vol. 61 n° 1, pp. 11-38
    Otte M. (2006) Proof and Explanation from a Semiotical Point of View Semiotics, Culture, and Mathematical Thinking
    Otte, M. (2007) Mathematical history, philosophy and education Educational Studies in Mathematics 66/2, 243-255

Rav Y. (1999) Why do we prove theorems. Philosophia Mathematica 3(7) 5-41.

Rostand F. (1962) Sur la clarté des démonstrations mathématiques. Paris: Vrin.

See also Gila Hana Selected bibliography of philosophical materials
pertaining to mathematics and proof
(Abstracted from the Philosopher's Index)