Mit Hilfe der Turingmaschine gelang Turing der Beweis, dass es keine Lösung für das „Entscheidungsproblem“ gibt.
mɪt hˈɪlfə dɛɾ tˌuːrɪŋmaʃˈiːnə ɡəlˈaŋ tˈuːrɪŋ dɛɾ bəvˈaɪs, das ɛs kˈaɪnə lˈøːzʊŋ fyːɾ das ɛntʃˈaɪdʊŋʃpɾˌɔbləm“ ɡˈiːpt.