Turing Machines

    mathematical formalism for computation

http://en.wikipedia.org/wiki/Turing_machine

Church-Turing Hypothesis

    "anything that can be described as a function, can be computed by a universal computer"

http://en.wikipedia.org/wiki/Church-Turing_thesis