Proposed by Alan Turing in 1936, the Turing machine is a mathematical model of computation. It defines an abstract machine that manipulates symbols on a strip of tape according to a set of rules. It is used to study the limits of computation and the concepts of algorithms and computability. It is not a physical machine designed for practical tasks like identifying explosives or measuring constants.