A New Style of Mathematical Proof
- Additional Document Info
- View All
A theory graph is a network of axiomatic theories connected with
meaning-preserving mappings called theory morphisms. Theory graphs are well
suited for organizing large bodies of mathematical knowledge. Traditional and
formal proofs do not adequately fulfill all the purposes that mathematical
proofs have, and they do not exploit the structure inherent in a theory graph.
We propose a new style of proof that fulfills the principal purposes of a
mathematical proof as well as capitalizes on the connections provided by the
theory morphisms in a theory graph. This new style of proof combines the
strengths of traditional proofs with the strengths of formal proofs.
has subject area