new article: history-of-mathematics-and-programming-language-theory.markdown