\input zb-basic
\input zb-matheduc
\iteman{ZMATH 2006a.00036}
\itemau{Hoare, G.T.Q.}
\itemti{1936: Post, turing and 'a kind of miracle' in mathematical logic.}
\itemso{Math. Gaz. 88, No. 511, 2-15 (2004).}
\itemab
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.
\itemrv{~}
\itemcc{A30 P20 E30}
\itemut{history of mathematics; algorithms; effective calculability}
\itemli{}
\end