The Book
Store
Downloads
Education
Archives
Forum
Jump to Page
Look Up in Index
Search
RELATED LINKS
[close]
Notes related to this page:
Implementation [of proof example]
History [of concept of mathematics]
[History of] models of mathematics
Axiom systems
Basic logic [and axioms]
Set theory [and axioms]
Proof structures
Substitution strategies [in proofs]
One-way transformations [as axioms]
Reducing axiom [system] details
[Mathematical] proofs in practice
[Methods for] proof searching
Automated theorem proving
Proofs in
Mathematica
Comparison to multiway systems
Pure equational logic
Proof lengths in logic
Definition of mathematics
The relevance of theorems
All notes for this section
Downloadable programs for this page
Downloadable images
Search Forum for this page
Post a comment
NKS | Online FAQs
Chapter 12
>
Section 9
> Page 775
TEXT FROM PAGE
RELATED LINKS
Notes related to this page:
Implementation [of proof example]
History [of concept of mathematics]
[History of] models of mathematics
Axiom systems
Basic logic [and axioms]
Set theory [and axioms]
Proof structures
Substitution strategies [in proofs]
One-way transformations [as axioms]
Reducing axiom [system] details
[Mathematical] proofs in practice
[Methods for] proof searching
Automated theorem proving
Proofs in
Mathematica
Comparison to multiway systems
Pure equational logic
Proof lengths in logic
Definition of mathematics
The relevance of theorems
All notes for this section
Downloadable programs for this page
Downloadable images
Search Forum for this page
Post a comment
NKS | Online FAQs
From
Stephen Wolfram:
A New Kind of Science
[
citation
]