Indiscrete Thoughts pp 134-150 | Cite as

# The Phenomenology of Mathematical Proof

Chapter

## Abstract

Everybody knows what a mathematical proof is. A proof of a mathematical theorem is a sequence of steps which leads to the desired conclusion. The rules to be followed in this sequence of steps were made explicit when logic was formalized early in this century and they have not changed since. These rules can be used to disprove a putative proof by spotting logical errors; they cannot, however, be used to find the missing proof of a mathematical conjecture.

## Keywords

Mathematical Proof Outer Automorphism Existence Proof Finite Simple Group Mathematical Theorem
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

## Preview

Unable to display preview. Download preview PDF.

## End Notes

- [1]Ronald L. Graham, Bruce L. Rothschild, Joel H. Spencer,
*Ramsey Theory*, Wiley, New York, 1990.MATHGoogle Scholar - [2]Bertram Kostant, The principle of Triality and a distinguished unitary representation of
*SO*(4, 4),*Geometric Methods in Theoretical Physics*, K. Bleuler and M. Werner (eds.), Kluwer Academic Publishers, 1988, 65-108; The Coxeter Element and the Structure of the Exceptional Lie groups, Colloquium Lectures of the AMS, Notes available from the AMS.Google Scholar - [3]Andrew Wiles, Modular Elliptic Curves and Fermat’s Last Theorem,
*Annals of Mathematics*, Vol. CXLII, 1995, 443–551.CrossRefMathSciNetGoogle Scholar - [4]H. F. Baker,
*Principles of Geometry. Vol. I, Foundations*, Cambridge University Press, Cambridge, 1922.Google Scholar - [5]G. D. Birkhoff, Proof of the Ergodic Theorem,
*Proceedings of the National Academy of Sciences*, Vol. XVII, 1931, 656–660.CrossRefGoogle Scholar - [6]Adriano M. Garsia, A Simple Proof of E. Hopf’s Maximal Ergodic Theorem,
*Journal of Mathematics and Mechanics*, Vol. XIV 1965, pp. 381–382.MathSciNetGoogle Scholar - [7]Hans Lewy, On the local character of the solutions of an atypical differential equation in three variables and a related problem for regular functions of two complex variables,
*Annals of Mathematics*, Vol. LXIV, 1956, pp. 514-22.Google Scholar - [8]von Staudt,
*Geometrie der Lage*, 1847.Google Scholar - [9]Garrett Birkhoff,
*Lattice Theory*, American Mathematical Society, 1948.Google Scholar - [10]Emil Artin,
*Coordinates in Affine Geometry*, Reports of Mathematical Colloquium, Notre Dame, 1940.Google Scholar

## Copyright information

© Springer Science+Business Media New York 1997