Discussione:Algoritmo: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Notifica di fonti modificate che necessitano di revisione) #IABot (v2.0 |
m →top: aggiungo template |
||
Riga 13:
|azione1=vaglio |data1= 27 luglio 2006 |codice1=
}}
{{Wikiscuola
|materiaMED = informatica
}}
== Finitezza dell'algoritmo ==
L'ultima frase, ''Inoltre, in informatica, si richiede generalmente che un algoritmo sia finito, ovvero termini per ogni insieme di dati di ingresso'' è palesemente falsa: il teorema di turing sulla calcolabilità dice proprio che è impossibile prevedere tramite analisi logico-matematica se un algoritmo sarà completato in un tempo finito. È una conseguenza del teorema di Goedel sull'incompletezza.
| |||