wiki/concepts/theory_of_computing.md history