His work led to precise notions of algorithmic computability from which a direct path leads to the first theoretical ideas of a computer in the work of Alan Turing in 1936 and John von Neumann some ...