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||No keywords specified (fix it)|
|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 downloads26 ( #47,684 of 549,122 )
Recent downloads (6 months)2 ( #37,390 of 549,122 )
How can I increase my downloads?