Graduate studies at Western
Foundations of Science 2 (1):77-85 (1997)
|Abstract||The authors present the main ideas of the computer-assisted proof of Mischaikow and Mrozek that chaos is really present in the Lorenz equations. Methodological consequences of this proof are examined. It is shown that numerical calculations can constitute an essential part of mathematical proof not only in the discrete mathematics but also in the mathematics of continua.|
|Keywords||Computer-assisted proofs Chaos Lorenz equations Round-off errors Interval arithmetic|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Paul Jorion (1999). What Do Mathematicians Teach Us About the World ? An Anthropological Perspective. .
David J. Pym (2004). Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control. Oxford University Press.
Carlo Cellucci (2008). Why Proof? What is a Proof? In Giovanna Corsi & Rossella Lupacchini (eds.), Deduction, Computation, Experiment. Exploring the Effectiveness of Proof, pp. 1-27. Springer.
David S. Henley (1995). Syntax-Directed Discovery in Mathematics. Erkenntnis 43 (2):241 - 259.
James Franklin (1996). Proof in Mathematics. Quakers Hill Press.
Andrew Aberdein (2006). Proofs and Rebuttals: Applying Stephen Toulmin's Layout of Arguments to Mathematical Proof. In Marta Bílková & Ondřej Tomala (eds.), The Logica Yearbook 2005. Filosofia.
Added to index2009-01-28
Total downloads27 ( #51,760 of 739,463 )
Recent downloads (6 months)1 ( #61,778 of 739,463 )
How can I increase my downloads?