id: 02367579
dt: j
an: 2006a.00036
au: Hoare, G.T.Q.
ti: 1936: Post, turing and ’a kind of miracle’ in mathematical logic.
so: Math. Gaz. 88, No. 511, 2-15 (2004).
py: 2004
pu: Cambridge University Press, Cambridge; Mathematical Association (MA),
Leicester
la: EN
cc: A30 P20 E30
ut: history of mathematics; algorithms; effective calculability
ci:
li:
ab: 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.
rv: