Editing Theory of computation (section)

== History ==
The theory of computation can be considered the creation of models of all kinds in the field of computer science. Therefore, [[Mathematical logic|mathematics and logic]] are used. In the last century, it separated from mathematics and became an independent academic discipline with its own conferences such as [[Symposium on Foundations of Computer Science|FOCS]] in 1960 and [[Symposium on Theory of Computing|STOC]] in 1969, and its own awards such as the [[IMU Abacus Medal]] (established in 1981 as the Rolf Nevanlinna Prize), the [[Gödel Prize]], established in 1993, and the [[Knuth Prize]], established in 1996.

Some pioneers of the theory of computation were [[Ramon Llull]], [[Alonzo Church]], [[Kurt Gödel]], [[Alan Turing]], [[Stephen Kleene]], [[Rózsa Péter]], [[John von Neumann]] and [[Claude Shannon]].