Updating various portions of the article changing usage of Kolmogorov to formula complexity.