The Book
Store
Downloads
Education
Archives
Forum
Jump to Page
Look Up in Index
Search
RELATED LINKS
[close]
Notes related to this page:
Empirical metamathematics
History [of concept of mathematics]
[History of] models of mathematics
Proof structures
[Mathematical] proofs in practice
Unsolved problems [in number theory]
Generalization in mathematics
Theorem distributions [in standard mathematics]
Speedups in other systems
Character of mathematics
Invention versus discovery in mathematics
Ordering of [mathematical] constructs
Mathematics and the brain
The relevance of theorems
Attitudes of mathematicians
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 820
TEXT FROM PAGE
RELATED LINKS
Notes related to this page:
Empirical metamathematics
History [of concept of mathematics]
[History of] models of mathematics
Proof structures
[Mathematical] proofs in practice
Unsolved problems [in number theory]
Generalization in mathematics
Theorem distributions [in standard mathematics]
Speedups in other systems
Character of mathematics
Invention versus discovery in mathematics
Ordering of [mathematical] constructs
Mathematics and the brain
The relevance of theorems
Attitudes of mathematicians
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
]