ricorrenza
Dizionario delle Scienze Fisiche (2012)
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
Odifreddi, Piergiorgio
Enciclopedia on line
Odifreddi, Piergiorgio. - Matematico e scrittore italiano (n. Cuneo 1950). Laureato in matematica a Torino (1973), ha proseguito gli studi negli Stati Uniti presso le università dell’Illinois e della [...] di matematica all’università di Torino (2001-07). Ha svolto attività di ricerca nel campo della teoria della ricorsività, ed è anche saggista e storico della scienza. Attivo nella divulgazione scientifica, tra le sue pubblicazioni occorre citare ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
computabile
Dizionario delle Scienze Fisiche (1996)
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
CATEGORIA:
FISICA MATEMATICA
–
STORIA DELLA FISICA
–
TEMI GENERALI
–
ALGEBRA
–
EPISTEMOLOGIA
–
METAFISICA
ricorsivo
Dizionario delle Scienze Fisiche (2012)
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
GRAMMATICA GENERATIVA
Enciclopedia Italiana - IV Appendice (1979)
GRAMMATICA GENERATIVA
Giulio Lepschy
. La g. g. (di cui la g. trasformazionale è il tipo più importante) costituisce la maggiore novità nella linguistica teorica contemporanea. È stata ideata e costruita [...] una lingua come (I), a cui appartengono le frasi ab, aabb, aaabbb, ...anbn, perché non può allo stesso tempo garantire la ricorsività (cioè che un simbolo possa essere ripetuto n volte), e soddisfare l'esigenza che, qualunque sia il valore di n per a ...
Leggi Tutto
Kleene, Stephen Cole
Enciclopedia on line
Matematico e logico matematico statunitense (Hartford, Connecticut, 1909 - Madison, Wisconsin, 1994). Dal 1935 al 1979 prof. all'univ. di Wisconsin, a Madison; dal 1969 fu membro della National academy [...] aritmetica) e infine alle funzioni quantificate (gerarchia analitica). Si interessò anche delle relazioni tra la teoria della ricorsività e l'intuizionismo, nonché di analisi intuizioniste. Tra le sue opere: General recursive functions of natural ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
METAMATEMATICA
Enciclopedia Italiana - IV Appendice (1979)
METAMATEMATICA
Alberto Pasquinelli
Aldo Marruccelli
. Il problema della metamatematica. - Come disciplina specifica, la m. deve la propria genesi (e la propria denominazione) a D. Hilbert, il quale [...] post-hlbertiane, G. Kreisel, Hilbert's programme, in Dialectica, XII (1958), pp. 346-72; E. Casari, Computabilità e ricorsività, Varese 1959; R. Magari, Su certe teorie non enumerabili (sulle limitazioni dei sistemi formali), in Annali di matematica ...
Leggi Tutto
costruttivismo
Dizionario di filosofia (2009)
costruttivismo
Indirizzo epistemologico (sostenuto nella sua forma più radicale dai matematici intuizionisti L. E. J. Brouwer, A. Heyting) che accetta in matematica soltanto definizioni e dimostrazioni [...] e matematici) si ricollega ai concetti di computabilità, decisione, ecc., ed è alla base della teoria della ricorsività. Si è invece definito costruttivismo radicale un orientamento epistemologico sviluppatosi a partire dalla metà degli anni Settanta ...
Leggi Tutto
Mostowski
Enciclopedia della Matematica (2013)
Mostowski
Mostowski Andrzej (Leopoli, oggi Lviv, Ucraina, 1913 - Vancouver 1975) matematico e logico polacco. Studiò all’università di Varsavia negli anni in cui vi insegnavano K. Kuratowski, A. Lindenbaum [...] 1947 professore all’università di Varsavia, si occupò di logica e teoria dei modelli, dando contributi notevoli in teoria della ricorsività e della decidibilità. In ambito logico si deve a lui, al matematico J. Barwise e al linguista computazionale R ...
Leggi Tutto
Fibonacci, successione di
Enciclopedia della Matematica (2017)
Fibonacci, successione di
Fibonacci, successione di successione di numeri naturali; prende il nome dal matematico pisano L. Fibonacci, che la introdusse nel suo Liber abaci, ed è indicata anche, sebbene [...] dal terzo in poi è uguale alla somma dei due che lo precedono. La successione {ƒn} è, quindi, così definibile ricorsivamente (→ ricorsività):
I termini della successione sono detti numeri di Fibonacci e i primi 25 di essi sono: 1, 1, 2, 3, 5 ...
Leggi Tutto