Experimentation and Proof in Mathematics

@inproceedings{Epstein1997ExperimentationAP,
  title={Experimentation and Proof in Mathematics},
  author={David Epstein and Silvio Levy},
  year={1997}
}
670 NOTICES OF THE AMS VOLUME 42, NUMBER 6 T he English word “prove”—as its Old French and Latin ancestors—has two basic meanings: to try or test, and to establish beyond doubt. The first meaning is largely archaic, though it survives in technical expressions (printer’s proofs) and adages (the exception proves the rule, the proof of the pudding). That these two meanings could have coexisted for so long may seem strange to us mathematicians today, accustomed as we are to thinking of “proof” as… CONTINUE READING

References

Publications referenced by this paper.
Showing 1-9 of 9 references

A counter-example to Kelvin’s conjecture on minimal surfaces, Philos

  • D. Weaire, R. Phelan
  • Mag. Lett
  • 1994
1 Excerpt

Brakke, The Surface Evolver

  • A. Kenneth
  • Experimental Math
  • 1992
1 Excerpt

The classification of knots and 3-dimensional spaces

  • Geoffrey Hemion
  • 1992
1 Excerpt

Weeks , Symmetries , isometries , and length spectra of closed hyperbolic threemanifolds , Experimental Math

  • Craig D. Hodgson, R. Jeffrey
  • 1992

Papers on group theory and topology

  • Max Dehn
  • Translated and introduced by J. Stillwell
  • 1987
1 Excerpt

Constructive analysis, Springer, New York, 1985

  • Errett Bishopand Douglas Bridges
  • An outgrowth of Bishop’s Foundations of…
  • 1967
1 Excerpt

Theorie der Normalflächen

  • W. Haken
  • Ein Isotopiekriterium für den Kreisknoten, Acta…
  • 1961
1 Excerpt

Similar Papers

Loading similar papers…