Discussione:Algoritmo: differenze tra le versioni

Versione delle 15:10, 23 mag 2022

Versione delle 15:13, 23 mag 2022

Riga 1:

'''''Testo in grassetto''--[[Speciale:Contributi/62.94.194.199|62.94.194.199]] ([[User talk:62.94.194.199|msg]]) 15:13, 23 mag 2022 (CEST)'''{{Progetti interessati

{{Progetti interessati

|progetto= informatica

|progetto2=

Riga 16:

|materiaMED = informatica

|materiaSUP = informatica

}}gvb hngvvvvvvvvvvvvvvvvvvvvvvvvvv

}}

== 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-matematicamnnbtica 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|

ciccio pasticcio

57i75+r548 6u//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

Line 154 ⟶ 155:

http://www.csapt.it/a/al/algoritmo.html

'''c'''--[[Speciale:Contributi/62.94.194.199|62.94.194.199]] ([[User talk:62.94.194.199|msg]]) 15:13, 23 mag 2022 (CEST)

Se non e' uguale, e' molto simile all'articolo.