Evolution of mathematical proof

Foundations of Science 2 (1):77-85 (1997)
  Copy   BIBTEX

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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Proof in Mathematics: An Introduction.James Franklin - 1996 - Sydney, Australia: Quakers Hill Press.
Syntax-directed discovery in mathematics.David S. Henley - 1995 - Erkenntnis 43 (2):241 - 259.
.[author unknown] - unknown
Reductive logic and proof-search: proof theory, semantics, and control.David J. Pym - 2004 - New York: Oxford University Press. Edited by Eike Ritter.

Analytics

Added to PP
2009-01-28

Downloads
68 (#217,472)

6 months
2 (#670,035)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Marian Mrozek
Jagiellonian University

Citations of this work

No citations found.

Add more citations