In seiner für diesen Zweig der Mathematik grundlegenden Arbeit On Computable Numbers, with an Application to the „Entscheidungsproblem“ (28. Mai 1936) formulierte Turing die Ergebnisse Kurt Gödels von 1931 neu.
ɪn zˌaɪnɜ fyːɾ dˌiːzən tsvˈaɪk dɛɾ mˌateːmˈɑtiːk ɡɾʊndlˈeːɡəndən ˈaɾbaɪt ˈoːn kˌɔmpuːtˈɑːblə nˈʊmbɜs, (en)wɪð(de) an ˌapliːkatsjˈoːn (en)tə ðə(de) ɛntʃˈaɪdʊŋʃpɾˌɔbləm“ ˈaxt ʊnttsvˈantsɪç. mˈaɪ ˈaɪn tˈaʊzənt nˈɔønhˈʊndɜt zˈɛks ʊntdɾˈaɪsɪç fˌɔɾmuːlˈiːɾtə tˈuːrɪŋ diː ɛɾɡˈeːbnɪsə kˈ??t ɡˈøːdəls fɔn ˈaɪn tˈaʊzənt nˈɔønhˈʊndɜt ˈaɪn ʊntdɾˈaɪsɪç nˈɔø.