wiki/computer-science/theoretical-computer-science.md history