Turing bewies, dass solch ein Gerät in der Lage ist, „jedes vorstellbare mathematische Problem zu lösen, sofern dieses auch durch einen Algorithmus gelöst werden kann“.
tˈuːrɪŋ bəvˈiːs, das zˈɔlç aɪn ɡərˈɛːt ɪn dɛɾ lˈɑːɡə ɪst, jˈeːdəs fˈoːɾʃtˌɛlbɑːrə mˌateːmˈɑːtɪʃə pɾoːblˈeːm tsuː lˈøːzən, zˈoːfɜn dˌiːzəs ˌaʊx d??ç ˌaɪnən ˈalɡoːrˌɪtmʊs ɡəlˈœst vˌɛɾdən kˌan“.