Turings Beweis wurde erst nach dem von Alonzo Church (1903–1995) mit Hilfe des Lambda-Kalküls geführten Beweis veröffentlicht;
tˈuːrɪŋs bəvˈaɪs vˌ??də ˈeːɾst nɑːx deːm fɔn alˈɔntsoː çˈ??ç ˈaɪn tˈaʊzənt nˈɔønhˈʊndɜt dɾˈaɪ ˈaɪn tˈaʊzənt nˈɔønhˈʊndɜt fˈynf ʊntnˈɔøntsɪç mɪt hˈɪlfə dɛs lˈambdɑːkˈalkyːls ɡəfˈyːɾtən bəvˈaɪs fɛɾˈœfəntlɪçt;