Er ersetzte dabei Gödels universelle, arithmetisch-basierte formale Sprache durch einen einfachen gedanklichen Mechanismus, eine abstrakt-formale Zeichenketten verarbeitende mathematische Maschine, die heute unter dem Namen Turingmaschine bekannt ist.
ɛɾ ɛɾzˈɛtstə dɑːbˈaɪ ɡˈøːdəls ˌuːniːvɛɾzˈɛlə, ˌɑrɪtmˈeːtɪʃbazˈiːɾtə fˈɔɾmɑːlə ʃpɾˈɑːxə d??ç ˌaɪnən ˈaɪnfˌaxən ɡədˈaŋklɪçən mˌɛçanˈɪsmʊs, ˌaɪnə apstɾˈaktfˈɔɾmɑːlə tsˌaɪçənkˈɛtən fɛɾˈaɾbaɪtəndə mˌateːmˈɑːtɪʃə maʃˈiːnə, diː hˈɔøtə ˌʊntɜ deːm nˈɑːmən tˌuːrɪŋmaʃˈiːnə bəkˈant ɪst.