Stephen Wolfram's: A New Kind of Science | Online
Jump to Page
Look Up in Index

Chapter 12 > Section 9 > Page 775 Previous page-----Next page


Page image


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] Previous page-----Next page