The Phenomenology of Mathematical Proof
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.
KeywordsMathematical Proof Outer Automorphism Existence Proof Finite Simple Group Mathematical Theorem
Unable to display preview. Download preview PDF.
- 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
- H. F. Baker, Principles of Geometry. Vol. I, Foundations, Cambridge University Press, Cambridge, 1922.Google Scholar
- 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
- von Staudt, Geometrie der Lage, 1847.Google Scholar
- Garrett Birkhoff, Lattice Theory, American Mathematical Society, 1948.Google Scholar
- Emil Artin, Coordinates in Affine Geometry, Reports of Mathematical Colloquium, Notre Dame, 1940.Google Scholar