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

Chapter 12 Notes > Section 9 > Page 1156 Previous page-----Next page



TEXT FROM PAGE

Page image

RELATED LINKS

All notes on this page:

* Substitution strategies [in proofs]
* One-way transformations [as axioms]
* Axiom schemas
* Reducing axiom [system] details
* [Mathematical] proofs in practice
* Properties [of example multiway systems]
* 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