Skip to content

EDSAC e procedimenti algoritmici


L’EDSAC è il primo calcolatore (1949) dotato di memoria capace di memorizzare non solo i dati che vengono elaborati, ma anche i procedimenti che si utilizzano per elaborarli, ossia il programma che permette di elaborare i dati. Il programma non è altro che una serie di procedimenti algoritmici. Dare una definizione ad un programma dipende quindi dalla nozione di algoritmo che risulta in verità essere dai contorni sfumati.
È vero però che attraverso alcuni studi sono state rilevate alcune caratteristiche fondamentali degli algoritmi, grazie alle quali è stato possibile dare una “definizione” quanto meno approssimativa. Si è visto infatti, per portare un esempio particolarmente importante, a partire dalla tesi di Church-Turing, che i procedimenti algoritmici sono in grado di calcolare una funzione. Nello specifico la tesi suddetta afferma: ogni funzione calcolabile mediante un procedimento algoritmico è calcolabile da una macchina di Turing1.

Tratto da INTELLIGENZA ARTIFICIALE di Carlo Cilia
Valuta questi appunti:

Continua a leggere:

Dettagli appunto:

Altri appunti correlati:

Per approfondire questo argomento, consulta le Tesi:

Puoi scaricare gratuitamente questo appunto in versione integrale.

Forse potrebbe interessarti:

Tra fantascienza e realtà: comunicare con una macchina è davvero possibile?

Immaginiamo di avere una conversazione faccia a faccia con un robot, di comprendere il suo linguaggio e di non dover fare alcuno sforzo nell’impartirgli un comando. Immaginiamo di chiedere alla nostra casa di accendere le luci o di aprire la porta agli ospiti o di chiacchierare amabilmente con la nostra automobile durante il tragitto casa-lavoro. L’uomo ha sempre desiderato creare una macchina in...