(SIGACT) provides the following description:

History

Theoretical computer science is closely related to mathematics and logic. In the 20th century, it emancipated itself and became an independent discipline. Pioneers of the discipline were Kurt Gödel, Alonzo Church, Alan Turing, Stephen Cole Kleene, Claude Shannon, John von Neumann