am turing ’ s original proposal for the development of an electronic computer : reprinted with a foreword by dw davies .
Solvable and unsolvable problems Universal Turing Machine