Foundations of Science 2 (1):77-85 (1997)
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)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
What Do Mathematicians Teach Us About the World? An Anthropological Perspective.Paul Jorion - 1999 - Philosophical Explorations.
Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control.David J. Pym - 2004 - Oxford University Press.
.[author unknown] - unknown
Proofs and Rebuttals: Applying Stephen Toulmin's Layout of Arguments to Mathematical Proof.Andrew Aberdein - 2006 - In Marta Bílková & Ondřej Tomala (eds.), The Logica Yearbook 2005. Filosofia. pp. 11-23.
Added to index2009-01-28
Total downloads40 ( #129,186 of 2,168,588 )
Recent downloads (6 months)1 ( #346,837 of 2,168,588 )
How can I increase my downloads?