Skip to main content
SpringerLink
Log in

Evolution of Mathematical Proof

  • Published:
Foundations of Science Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • Chang, Ch-L., Lee, R. (1973), Symbolic Logic and Mechanical Theorem Proving, Boston: Harcourt.

    Google Scholar 

  • Gallier, J.H. (1986), Logic for Computer Science: Foundations of Automatic Theorem Proving, New York: Harper Row.

    Google Scholar 

  • Lanford, O.E. (1982), ‘A computer-assisted proof of the Feigenbaum conjectures’, Bull. AMS (N.S.) 6, 427–434.

    Article  Google Scholar 

  • Mischaikow, K., Mrozek, M. (1995), ‘Chaos in the Lorenz equations: a computer-assisted proof’, Bull. AMS, (N.S.) 33, 66–72; ‘Part II: Details’, Mathematics of Computation, in print.

    Google Scholar 

  • Mrozek, M. (1996), ‘Inheritable properties and computer assisted proofs in dynamics,’ in: Alefeld, G., Frommer A. and Lang B. (eds.) (199?), Scientific Computing and Validated Numerics, Berlin: Akademie Verlag, 245–253.

    Google Scholar 

  • Steen, L.A. (1978), Mathematics Today: Twelve Informal Essays, New York: Springer Verlag.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Mathematics, Georgia Institute of Technology, Atlanta, GA, 30332 - 0160, USA

    Marian Mrozek

  2. Computer Science Institute, Jagiellonian University, Cracow, Poland

    Jacek Urbaniec

Authors
  1. Marian Mrozek
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jacek Urbaniec
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Mrozek, M., Urbaniec, J. Evolution of Mathematical Proof. Foundations of Science 2, 77–85 (1997). https://doi.org/10.1023/A:1009683412188

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1009683412188

Search

Navigation