Proof: A many-splendored thing

Mathematical Intelligencer

Volumn 19, Issue 3, 1997, Pages 16-26

  Kleiner, Israel ^a   Movshovitz Hadar, Nitsa ^b  

^a YORK UNIVERSITY   (Canada)

^b TECHNION ISRAEL INSTITUTE OF TECHNOLOGY   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0031503973     PISSN: 03436993     EISSN: None     Source Type: Journal    
DOI: 10.1007/BF03025344     Document Type: Article

References (61)

1. L.V. Ahlfors, "Development of the theory of conformal mapping and Riemann surfaces through a century," Annals of Math. Studies 30(1953), 3-13.
2. D.S. Alexander, "Gaston Darboux and the history of complex dynamics," Hist. Math. 22(1995), 179-185.
3. N. Alon, J.H. Spencer, and P. Erdös, The probabilistic method, Wiley, 1992.
4. G.E. Andrews, "The death of proof? Semi-rigorous mathematics? You've got to be kidding!" Math. Intelligencer 16:4(1994), 16-18.
5. K. Appel and W. Haken, "The four-color problem," in: Mathematics today, ed. by L. Steen, Springer-Verlag, 1978, pp. 151-180.
6. V.I. Arnold, "Will mathematics survive? Report on the Zurich Congress," Math. Intelligencer 17:3(1995), 6-10.
7. M. Atiyah, et al., "Responses to Theoretical mathematics: Toward a cultural synthesis of mathematics and theoretical physics', by A. Jaffe and F. Quinn," Bulletin AMS (2) 30(1994), 178-211.
8. L. Babai, "Probably true theorems, cry wolf?" Notices AMS 41(1994), 453-454.
9. _, "Transparent proofs", Focus: The Newsletter of the MAA 12:3(1992), 1-2.
10. E.J. Barbeau and P.J. Leah, "Euler's 1760 paper on divergent series," Hist. Math. 3(1976), 141-160.
11. U. Bottazzini, The higher calculus: A history of real and complex analysis from Euler to Weierstrass, Springer-Verlag, 1986.
12. U. Bottazzini and R. Tazzioli, "Naturalphilosophie and its role in Riemann's mathematics," Rev. d'Hist Math. 1(1995), 3-38.
13. C.B. Boyer, "Analysis: Notes on the evolution of a subject and a name," Math. Teacher 47(1954), 450-462.
14. C.T. Chong and Y.K. Leong, "An interview with Jean-Pierre Serre," Math. Intelligencer 8:4(1986), 8-13.
15. B. Cipra, "At math meetings, Enormous Theorem eclipses Fermat," Science 267(10 Febr. 1995), 794-795.
16. _, "New computer insights from 'transparent' proofs," in: What's happening in the mathematical sciences, vol.I, Amer. Math. Society, 1993, pp. 7-11.
17. R.A. De Millo, R.J. Lipton, and A.J. Perlis, "Social processes and proofs of theorems and programs," Math. Intelligencer 3:1(1980), 31-40.
18. J. Dieudonné, Mathematics - the music of reason, Springer-Verlag, 1992.
19. _, "The beginnings of Italian algebraic geometry," in: Studies in the history of mathematics, ed. by E.R. Phillips, Math. Assoc. of America, 1987, pp. 278-299.
20. C.H. Edwards, The historical development of the calculus, Springer-Verlag, 1979.
21. H.M. Edwards, "Mathematical ideas, ideals, and ideology," Math. Intelligencer 14:2(1992), 6-19.
22. D. Epstein and S. Levy, "Experimentation and proof in mathematics," Notices AMS 42(1995), 670-674.
23. D. Gorenstein, "The Enormous Theorem," Sci. Amer. (Dec. 1985), 104-115.
24. I. Grattan-Guinness, The development of the foundations of mathematical analysis from Euler to Riemann, MIT Press, 1970.
25. B. Grünbaum and G.C. Shephard, "A new look at Euler's theorem for polyhedra," Amer. Math. Monthly 101(1994), 109-128.
26. T.L. Hankins, Sir William Rowan Hamilton, The Johns Hopkins Univ. Press, 1980.
27. J. Morgan, "The death of proof," Sci. Amer. 269 (Oct. 1993), 92-103.
28. A. Jaffe and F. Quinn, "Theoretical mathematics': Toward a cultural synthesis of mathematics and theoretical physics," Bulletin AMS (2) 29(1993), 1-13.
29. I. Kleiner, "Evolution of the function concept: A brief survey," Coll. Math. Jour. 20(1989), 282-300.
30. M. Kline, Mathematical thought from ancient to modern times, Oxford Univ. Press, 1972.
31. W. Knorr, "Construction as existence proof in ancient geometry," Ancient Philosophy 3(1983), 125-148.
32. G. Kolata, "Mathematical proofs: The genesis of reasonable doubt," Science 192(June 1976), 989-990.
33. S.G. Krantz, "The immortality of proof," Notices AMS 41(1994), 10-13.
34. I. Lakatos, Proofs and refutations, Cambridge Univ. Press, 1976.
35. C.W.H. Lam, "How reliable is a computer-based proof?" Math. Intelligencer 12:1(1990).
36. J. Lambek, "If Hamilton had prevailed: Quaternions in physics", Math. Intelligencer 17:4(1995), 7-15.
37. S. Lang, "Mordell's review, Siegel's letter to Mordell, diophantine geometry, and 20th century mathematics," Notices AMS 42(1995), 339-350.
38. R.E. Langer, "Fourier series: The genesis and evolution of a theory," Amer. Math. Monthly 54 supplement (1947), 1-86.
39. Y.I. Manin, "How convincing is a proof?" Math. Intelligencer 2:1(1979), 17-18.
40. A.F. Monna, "Hermann Hankel," Niew. Arch. voor Wisk. 21(1973), 64-87.
41. G.H. Moore, Zermelo's axiom of choice: Its origins, development, and influence, Springer-Verlag, 1982.
42. L.J. Mordell, "Book review: Diophantine geometry, by Serge Lang," Bulletin AMS 70(1964), 491-498.
43. E. Neuenschwander, "Studies in the history of complex function theory II: Interactions among the French School, Riemann, and Weierstrass," Bulletin AMS (2) 5(1981), 87-105.
44. G. Pólya, Induction and analogy in mathematics, Princeton Univ. Press, 1953.
45. M.O. Rabin, "Probabilistic algorithms," in: Algorithms and complexity: New directions and recent results, ed. by J.F. Traub, Academic Press, 1976, pp.21-40.
46. J.R. Ravetz, "Vibrating strings and arbitrary functions," in: The logic of personal knowledge: Essays presented to M. Polanyi on his seventieth birthday, The Free Press, 1961, pp.71-88.
47. B.A. Rosenfeld, A history of non-Euclidean geometry, Springer-Verlag, 1988. (Translated from the Russian by A. Shenitzer.)
48. G.-C. Rota, "The concept of mathematical truth," in: Essays on humanistic mathematics, ed. by A.M. White, Math. Assoc. of America, 1993, pp.91-96.
49. S. Smale, "Algebra and complexity theory," Bulletin AMS 4(1981), 1-36.
50. J. Spencer, "Short theorems with long proofs," Amer. Math. Monthly 90(1983), 365-366.
51. D.J. Struik, A concise history of mathematics, Dover, 1987 (4th edition).
52. W.P. Thurston, "On proof and progress in mathematics," Bulletin AMS (2) 30(1994), 161-177.
53. C. Truesdell, "The rational mechanics of flexible or elastic bodies, 1638-1788," in: L. Euler, Opera, ser. 2, vol. 11, 1960, section 2.
54. K. Volkert, "Zur Differenzierbarkeit stetiger Funktionen - Ampère's Beweis und seine Folgen," Arch. Hist. Ex. Sc. 40(1989), 37-112.
55. _, "Die Geschichte der pathologischen Funktionen - Ein Beitrag zur Entstehung der mathematischen Methodologie," Arch. Hist. Ex. Sc. 37(1987), 193-232.
56. J. von Neumann, "The role of mathematics in the sciences and society," Collected Works, vol. 4, ed. by A.H. Taub, Macmillan, 1963, pp. 477-490.
57. R. Westfall, Never at rest, Cambridge Univ. Press, 1980.
58. H. Weyl, "Axiomatic versus constructive procedures in mathematics," Math. Intelligencer 7:4(1985), 10-17, 38.
59. _, "Mathematics and logic," Amer. Math. Monthly 53(1946), 2-13.
60. O. Zariski, "The fundamental ideas of abstract algebraic geometry," in: Proceedings of the Intern. Congr. of Mathematicians, 1950, vol. II, Amer. Math. Society, 1952, pp.77-89.
61. D. Zeilberger, "Theorems for a price: Tomorrow's semi-rigorous mathematical culture," Notices AMS 40(1993), 978-981.