A simple mechanical device consisting solely of a tape, a read/write head, and a finite state machine. Turing was able to show that this machine is able to perform all the operations a person working with a logical system would be able to perform.
< Discussion > < References > Chris Eliasmith