Versione delle 11:26, 18 set 2017 modifica 93.38.171.132 (discussione) →Definizione Etichette: Modifica da mobile Modifica da web per mobile ← Differenza precedente		Versione delle 11:26, 18 set 2017 modifica annulla Daimona Eaytoy (discussione \| contributi) Amministratori dell'interfaccia, Amministratori 39 243 modifiche m Annullate le modifiche di 93.38.171.132 (discussione), riportata alla versione precedente di Daimona Eaytoy Differenza successiva →
Riga 2: == Definizione == Nel ~~XXX~~XX secolo, il concetto di algoritmo venne formalizzato per risolvere il problema matematico della "decisione" ([[Entscheidungsproblem]]), posto da [[David Hilbert]] nel 1928, e altre successive formalizzazioni giunsero con lo sviluppo dei concetti di "[[effective calculability\|calcolabilità effettiva]]"<ref>Kleene 1943 in Davis 1965:274</ref> e di "metodo effettivo"<ref>Rosser 1939 in Davis 1965:225</ref>. Le formalizzazioni matematiche più famose sono le [[funzioni ricorsive]] di [[Kurt Gödel\|Gödel]]–[[Jacques Herbrand\|Herbrand]]–[[Stephen Cole Kleene\|Kleene]] del 1930, 1934 e 1935; il [[lambda calcolo]] di [[Alonzo Church]] e la [[Formulation 1]] di [[Emil Post]] del 1936; e, infine, la [[Macchina di Turing\|Macchina di Alan Turing]] del 1936–37 e 1939. Nonostante ciò, una definizione del concetto di algoritmo che sia formale e non tecnica manca tuttora<ref> {{Cita libro

Algoritmo: differenze tra le versioni