@article {MATHEDUC.02367579,
author = {Hoare, G.T.Q.},
title = {1936: Post, turing and 'a kind of miracle' in mathematical logic.},
year = {2004},
journal = {The Mathematical Gazette},
volume = {88},
number = {511},
issn = {0025-5572},
pages = {2-15},
publisher = {Cambridge University Press, Cambridge; Mathematical Association (MA), Leicester},
abstract = {This article commemorates the contributions of Turing and Post to the mathematical understanding of algorithms; they both died 50 years ago in 1954. Post undertook much of his work in the 1920s, but published much later. Turing's involvement was motivated by Hilbert's decision problem. In 1936, there was a remarkable confluence of ideas on the meaning of effective calculability, leading to the rapid development of computer science.},
msc2010 = {A30xx (P20xx E30xx)},
identifier = {2006a.00036},
}