Si rileva che quanto leggesi al secondo rigo "una macchina di Turing (o un dispositivo equivalente, come il computer)" non è esatto. Infatti un computer è dotato di memoria finita, a differenza della macchina di Turing che ha memoria illimitata.

Siamo sicuri che «Se un problema è umanamente calcolabile, allora esisterà una macchina di Turing in grado di risolverlo (cioè di calcolarlo)»

Ho l'impressione che le funzioni "umanamente calcolabile" sia diverso da quello delle funzioni calcolabili anche se non ho una definizione rigorosa di funzioni "umanamente calcolabili".