Discussione:Algoritmo: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m + materia |
Nessun oggetto della modifica Etichetta: Annullato |
||
Riga 21:
:[[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|
▲*http://www-gap.dcs.st-and.ac.uk/~history/Mathematicians/Al-Khwarizmi.html
che riporta come nome Abu Ja'far Muhammad ibn Musa Al-Khwarizmi ed inoltre ha una biografia molto completa
*http://www.lib.virginia.edu/science/parshall/khwariz.html
|