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 ...
Leggi Tutto
ricorrenza
ricorrènza [Der. di ricorrente] [LSF] Ciascuno dei casi in cui un dato fenomeno si verifica, sinon. di occorrenza. ◆ [ALG] (a) Sinon. di induzione (completa), come nelle locuz. definizione [...] per r., dimostrazione o ragionamento per r., principio di ricorrenza. (b) Sinon. di ricorsività. ◆ [GFS] Metodo della r.: v. terremoto, previsione del: VI 244 a. ◆ [MCS] Tempo di r.: v. oltre: Teorema di ricorrenza. ◆ [MCS] Teorema di r.: in un ...
Leggi Tutto
computabile
computàbile [agg. Der. dell'ingl. computable, che è dal lat. computabilis "che si può calcolare", "di cui si può o si deve tenere conto", già reso con l'it. calcolabile] [ALG] [FAF] [INF] [...] , le grandezze che possono essere calcolate con un elaboratore adeguatamente programmato; la teoria della computabilità, o della ricorsività, studia i limiti teorici di un tale procedimento di calcolo. ◆ [INF] Funzione c.: funzione numerica di n ...
Leggi Tutto
ricorsivo
ricorsivo [agg. Der. di ricorrere: (→ ricorrente)] [LSF] Sinon. di ricorrente. ◆ [ALG] [INF] Algoritmo, o procedimento o procedura, r.: algoritmo che è formulato con esplicito riferimento a [...] Filtro non r.: v. immagini, elaborazione di: III 167 e. ◆ [ALG] [INF] Funzioni r. primitive: nella teoria della ricorsività, quelle che si possono ottenere dalle funzioni iniziali mediante un numero finito di applicazioni delle regole di sostituzione ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1951-1960
1951-1960
1951
Sui gruppi di omotopia e di omologia. In una serie di articoli (Homologie singulière des espaces fibrés) Jean-Pierre Serre fornisce [...] metodo dimostrativo, detto metodo delle priorità, è diventato lo strumento forse più importante della moderna teoria della ricorsività.
Spazi classificanti. L'americano John W. Milnor costruisce, per ogni gruppo topologico G, il G-fibrato principale ...
Leggi Tutto
ricorsivita
ricorsività s. f. [der. di ricorsivo]. – In matematica e in logica matematica, la proprietà di essere ricorsivo, cioè ricorrente. Teoria della r., teoria matematica che si propone lo studio, nell’ambito dei numeri naturali, di...
binormalita
binormalità s. f. [der. di binormale]. – Nella logica matematica, la condizione di ciò che è binormale, ed è una delle formulazioni equivalenti del concetto generale di ricorsività.