Irreducibility and Computational Equivalence 10 Years After Wolfram's A New Kind of Science | EKB DL