algoritmizzazióne

algoritmizzazione

algoritmizzazióne [Der. di algoritmizzare "tradurre in algoritmi"] [FAF] [INF] Processo di traduzione in algoritmi di un fenomeno naturale o artificiale, a scopo conoscitivo o normativo. L'interesse maggiore di queste rappresentazioni si ha in discipline nuove, prive di un linguaggio formale proprio, che adottano gli algoritmi come strumento di ricerca e di conoscenza, come nel caso della psicologia cognitiva, della linguistica computazionale, ecc.; in realtà v'è un interesse generale, tanto che B. Russel e A.N. Whitehead proposero addirittura un'a. della matematica, quale metodo più rigoroso di derivazione logica dei teoremi della matematica a partire dagli assiomi: ogni teorema dovrebbe, secondo questo programma di lavoro, essere visto come il risultato di un "calcolo meccanico" ben determinato, vale a dire come risultato dell'esecuzione di un algoritmo generale che partendo dagli assiomi ricava tutti i teoremi.