Discussione:Algoritmo: differenze tra le versioni

Versione delle 13:14, 15 gen 2012

Versione delle 13:12, 11 ago 2014

Riga 11:

}}

{{vaglioconcluso|Algritmo}}

== Finitezza dell'algoritmo ==

{{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)

:Il teorema di Goedel afferma che _non sempre_ e` possibile determinare, tramite una analisi logico-matematica, se un dato algoritmo termini o meno, ma non che questo non sia mai determinabile. La frase complessivamente e` corretta: chi mai potrebbe desiderare un algoritmo che potrebbe non terminare?

::[[Utente:Akbg|akappa]]

----

== Al-Khwarizmi: il nome esatto. ==

Non so se avete qualche convenzione univoca per i nomi arabi e non conosco l'arabo peò il nome che conosco io è "Muhammad ibn Musa" e non "Muhammad BIN Musa" come nel vostro testo. Da una ricerca rapida su google con chiave

Al-Khwarizmi ho trovato