Mathematics Professor

P

Publication of Alonzo Church's 'An Unsolvable Problem of Elementary Number Theory'

1936

H

Harvard Mark I Operational

1944

M

Manchester Mark 1 First Program Run

1949

M

Manchester Mark 1 Becomes Operational

1949

D

Demonstration of the Logic Theorist Program

1956