Universaalia Turingin konetta on käytetty määrittelemään mitä on mahdollista ratkaista laskennallisesti: kun jokin ongelma ei ole ratkaistavissa universaalilla koneella se ei ole ratkaistavissa laskennallisesti lainkaan.
ˌunɪvˌersaːlˈia turˈiŋŋɪŋ konˈetːa oŋ kæytˈetːy mˌæːrɪtːelˈemæːn mˈitæ on mˌahdollˈista ratkˈaista lˌaskennˌallɪsˈestɪ: kˈun jˈokɪn oŋŋˈelma ei ˌoler rˌatkaistavˈissa ˌunɪversˈaːlɪlla konˈeːlla se ei ˌoler rˌatkaistavˈissa lˌaskennˌallɪsˈestɪl lˈaiŋkaːn.