Discussione:Algoritmo: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m vagliata |
|||
Riga 1:
{{vaglioconcluso|Algritmo}}
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 calclolabilità 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.
:[[Utente:Blakwolf|BW]] 14:26, Feb 3, 2004 (UTC)
| |||