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

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



TEXT FROM PAGE

Page image

RELATED LINKS

Notes related to this page:

* Proof structures
* [History of] models of mathematics
* One-way transformations [as axioms]
* Reducing axiom [system] details
* [Methods for] proof searching
* Automated theorem proving
* Comparison to multiway systems
* Multiway systems [and operator systems]
* [Implications for] chemistry
* 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