P vs. NP and the Difficulty of Computation: A ruliological approach 00/30 • writings.stephenwolfram.com