undefined | Better HN

0 pointspotiuper4y ago0 comments

Like the shortest axiom for classical propositional logic using NAND in the Chapter 12, which is the last chapter, on page 773 in New Kind of Science with no proof or references?

0 comments

2 comments · 1 top-level

potiuperOP4y ago· 1 in thread

It does have a proof on pg 810, but it's still at the back of the book.

potiuperOP4y ago

See https://en.wikipedia.org/wiki/Minimal_axioms_for_Boolean_alg... for claim dispute.

j / k navigate · click thread line to collapse