Alan Turing's 1936 paper, "On Computable Numbers," is a foundational work in mathematical logic that introduced the concept of the Turing machine. This theoretical model of computation proved crucial for the development of computer science and artificial intelligence.