Discussione:Tesi di Church-Turing
Vai alla navigazione
Vai alla ricerca
| Tesi di Church-Turing | |
|---|---|
| Argomento di scuola secondaria di II grado | |
| Materia | informatica |
| Dettagli | |
| Dimensione della voce | 5 145 byte |
| Progetto Wikipedia e scuola italiana | |
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.
"Umanamente Calcolabile"
[modifica wikitesto]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".