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

Chapter 12 Notes > Section 9 > Page 1170 > Note (b) Previous note-----Next note
Notes for: The Principle of Computational Equivalence | Implications for Mathematics and Its Foundations

*[History of] truth tables

The method of finding results in logic by enumerating all possible combinations of truth values seems to have been rediscovered many times since antiquity. It began to appear regularly in the late 1800s, and became widely known after its use by Emil Post and Ludwig Wittgenstein in the early 1920s.


Page image


Pages related to this note:


All notes on this page:

* Comparison to multiway systems
* Operator systems
* [History of] truth tables
* Proofs of axiom systems
* Junctional calculus
* Equivalential calculus
* Implicational calculus
* 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 note-----Next note