calcolabilita

Dizionario delle Scienze Fisiche (1996)

calcolabilita


calcolabilità [Der. di calcolabile] [ALG] Generic., la proprietà di essere calcolabile. ◆ [FAF] Per una teoria, è una delle formulazioni equivalenti del concetto generale di ricorsività, detta anche definibilità e studiata per la prima volta da K. Gödel nel 1936 (Über die Länge von Beweisen): v. Gödel, teorema di: III 56 c.

Vedi anche
ricorsività ricorsività La proprietà di essere ricorsivo, cioè ricorrente. Teoria della ricorsivita, o della ricorsione, o computabilità, la disciplina che si occupa di fornire una caratterizzazione matematica del concetto di algoritmo. 1. Teoria della ricorsività La motivazione originaria per lo studio della ... Alonzo Church Church ‹čë´ëč›, Alonzo. - Matematico e logico-matematico statunitense (Washington 1903 - Hudson, Ohio, 1995), prof. di matematica (1947-61), poi di matematica e filosofia (1961-67) a Princeton, dal 1967 di matematica e filosofia all'univ. di California. Nel 1936 enunciò la proposizione oggi chiamata ... lògica matemàtica lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono essere considerate formalmente come oggetti grafici combinabili tra loro (sintassi) o in relazione ... computabilità computabilità In logica matematica, nozione che di solito s’identifica con quella di ricorsività generale, introdotta intorno al 1936 da A.M. Turing e da E.L. Post. Una funzione numerica di n variabili si dice computabile se esiste un algoritmo per cui si possa, con un numero finito di passi, calcolare ...
Categorie
Vocabolario
algocrazia
algocrazia s. f. In senso polemico, il crescente utilizzo degli algoritmi informatici e dell’intelligenza artificiale al fine di esercitare il controllo di qualsiasi aspetto della vita quotidiana degli individui. ♦ Documentario interessante,...