== Algoritminen epämääräisyys == 

 Seuraavasta tekstistä on erimielisyyttä: 
 :Eri asia - jotkin asiat eivät välttämättä ole lainkaan laskettavissa; itse asiassa tämä voidaan todistaa joissakin tapauksissa. Esimerkiksi vuonna 1970 todistettiin, että ei ole olemassa Turingin konetta, joka voisi ratkaista kaikki Diofanttiyhtälöt (ks. Hilbertin kymmenes ongelma). 
 ja 
 Lukuopissa on siis joitakin ongelmia, joita ei koskaan ratkaista. Tiedämme jopa joidenkin ongelmien muodon, nimittäin yhdeksän muuttujan diofanttisten yhtälöiden muodon; emme vain tiedä emmekä voi tietää, mitkä kertoimet antavat meille yhtälöt, joille seuraavat kaksi lausetta ovat molemmat totta: ratkaisuja ei ole, emmekä koskaan tule tietämään, että ratkaisuja ei ole. 
 Toinen väite ei seuraa ensimmäisestä.  Vaikka ei ole olemassa Turingin konetta, joka voi määrittää jokaiselle diofantiselle yhtälölle, onko sillä ratkaisu vai ei, siitä ei seuraa suoraan, että on olemassa diofantinen yhtälö, jolle emme voi tietää, onko sillä ratkaisu vai ei.  Se tarkoittaa vain sitä, että emme voi tietää sitä yksinkertaisesti syöttämällä sen Turingin koneeseen.  Se ei sulje pois sitä, että voisimme tietää sen jollakin muulla tavalla.   
 Viittaus luotettavaan lähteeseen olisi tässä yhteydessä hyödyllinen, kuten esimerkiksi: Reprinted in The Collected Works of Julia Robinson, Solomon Feferman, editor, pp.269-378, American Mathematical Society 1996.  Tässä, sivulla 326, lukee, että tietyille yhtälöille voi olla mahdollista keksiä ad hoc -menetelmiä.