|
|
Aigner M., Ziegler G.M. (1998) Proofs from The Book. Berlin : Springer Verlag
|
|
|
Allenby R.B.J.T. (1997) Numbers and proofs. New York: John Wiley & Sons.
|
|
|
Atiyah M. (1994) Response to "Theoretical
mathematics: toward a cultural synthesis of mathematics and theoretical
physics" by Jaffe A., Quinn F. Bulletin of the American mathematical
society 30(2) 178-207 |
|
|
Benson D. C. (1999) The Moment of Proof - Mathematical
Epiphanies. Oxford : Oxford University Press. |
|
|
Blum M. (1986) How to prove a theorem so no one
else can claim it. Proceedings of the International Congress of Mathematicians
(pp. 1444-1451). Berkeley, CA.
|
|
|
Brown J. R. (1999) Philosophy
of Mathematics, An Introduction to the World of Proofs and Pictures.
Routledge, New York, 1999 |
|
|
Burton L., Morgan C. (2000) Mathematicians
writing. Journal for Research in Mathematics Education 31(4) 429-452 |
|
|
Chaitin J. G. (1975) Randomness and
Mathematical Proof. Scientific American. 232(5) pp.47-52
|
|
|
Cipra B. (1993) New Computer Insights from "Transparent"
Proofs. What's Happening in the Mathematical Sciences . AMS 1,
7-11.
|
|
|
Delahaye J.-P. (1998)
Certitudes sans démonstration ? Pour la Science 249,
100-105
|
|
|
Dieudonné J. (1968) Que font les
mathématiciens. Age de la science, 2
|
|
|
Dubnov Ya. S. (1963) Mistakes in geometrical
proofs. Boston: Heath.
|
|
|
Gardiner T. (1984) Human Activity: The soft
underbelly of mathematics? The mathematical intelligencer 6(3)
22-27.
|
|
|
Griffiths P. A. (2000). Mathematics at the turn of the millenium.The
American Mathematical Monthly 107(1) 1-14
|
|
|
Jaffe A., Quinn F. (1993) Theoretical
mathematics: toward a cultural synthesis of mathematics and theoretical
physics. Bulletin of the American mathematical society 29(1) 1-13 |
|
|
Horgan J. (1993) The death of proof. Scientific
American (October 1993), 74-82.
|
|
|
Kenneth A. Ross (1998) Doing and Proving: The
place of Algorithms and Proof in School Mathematics. American Mathematical
Monthly March 1998, pp. 252-255
|
|
|
Kolata G. B. (1976) Mathematical Proof: The
Genesis of Reasonable Doubt. Science 192, 689-690.
|
|
|
Krantz S. G. (1994) The immortality of proof.
Notices of the American Mathematical Society 41(1) 10-13
|
|
|
Lam C. W. H. (1990) How reliable is a computer-based
proof? The Mathematical Intelligencer 12(1) pp. 8-12
|
|
|
Lay S. R. (2001) Analysis with an Introduction to
Proof (3rd Edition). Pearson Education. |
|
|
Poincare H. (1903). Review of Hilbert's "Foundations
of geometry" (Translated by E Huntington). Bulletin of the American
Mathematical Society 10, 1-23. |
|
|
Rittaud B.
(2003) Conjecture de Kepler, encore 20 ans de vérification. La Recherche.
371, 53-55 |
|
|
Rotman J. (1998) Journey into mathematics
an introduction to proofs. Prentice Hall, NJ
|
|
|
Thurston W. P. (1994) On proof and progress
in mathematics. Bulletin of the American Mathematical Society 30(2)
161-177.
Traduction française de Jean Brette, avec une introduction de Régine
Douady :
(1995) Preuve et progrès en mathématiques. Repères-IREM
21, 5-26.
|
|
|
Velleman D. (1997) Fermat's Last Theorem
and Hilbert's program. The Mathematical Intelligencer 19 (1) 64-67.
|
|
|
Vitrac B. (2000) Les deux carrières
des éléments. Les cahiers de Science & Vie. 55,
38-41 |
|
|
Vitrac B. (2000) Les treize livres d'Euclide.
Les cahiers de Science & Vie. 55, 50-56 |
|
|
Vitrac B. (2000) Trois exemples de démonstrations.
Les cahiers de Science & Vie. 55, 57-63 |
|
|
Weyl H. (1944). David Hilbert and his mathematical work. Bulletin
of the American Mathematical Society 50, 612-654.
|
|
|
Zahler R. S. (1976) Errors in Mathematical
Proofs. Science, 193, 98.
|
|
|
Zeilberger D. (1993) Theorems for a price:
Tomorrow's semi-rigorous mathematical culture. Notices of the American
Mathematical Society 40(8) 978-981
|