Computazione, teoria della
Fabrizio Luccio
La necessità del calcolo, pur riconosciuta dall'uomo in tutte le epoche storiche, ha condotto solo in tempi relativamente recenti a una sistemazione teorica [...] caso il problema P è decidibile, e una MT che lo risolve è detta algoritmo per P. Se L non è ricorsivo il problema è indecidibile e non ammette algoritmo di risoluzione: tra questi problemi dobbiamo però distinguere quelli corrispondenti a linguaggi ...
Leggi Tutto
lambda-calcolo
Silvio Bozzi
Presentato per la prima volta da Alonzo Church nel 1932 come frammento di un più ampio sistema (poi dimostratosi contraddittorio) per la fondazione della matematica, il λ-calcolo [...] numeri naturali e provare che tutte e sole le funzioni ricorsive generali sono definibili da λ-temini. Il fatto che in delle categorie e oggi sono molti e fondamentali i risultati in cui le due discipline interagiscono.
→ Programmazione, algoritmi di ...
Leggi Tutto
Informatica musicale
Alvise Vidolin
Con lo sviluppo delle tecnologie multimediali la musica è diventata una delle fonti d'informazione trattate dall'informatica, al pari dei numeri, dei testi, della [...] ricco e può essere campionato o generato tramite semplice algoritmo. Nella formulazione più generale si utilizza un banco taglia-banda; banchi di filtri equalizzatori; filtri a pettine ricorsivi, che provocano vari effetti variando il tempo di ritardo ...
Leggi Tutto
Sociobiologia
Sergio Manghi
Il programma della sociobiologia
Il lemma sociobiologia è entrato nel lessico scientifico corrente nel corso degli anni settanta, proposto dall'entomologo statunitense Edward [...] due tipi d'azione: cooperare e defezionare. Gli algoritmi del modello evidenziano come le probabilità che nell'interazione credenza che si esprime, tra l'altro, in un diffuso ricorso a test attitudinali di vario tipo. Per parte loro, i movimenti ...
Leggi Tutto
Ordinare il mondo
Paolo Zellini
La matematica intesa come una razionalizzazione dell’esperienza, secondo la concezione del filosofo e matematico italiano Federigo Enriques (1871-1946), ha sempre cercato [...] insiemi di razionali con somma limitata. Analogamente vi sono diverse definizioni possibili, equivalenti tra loro, del concetto di algoritmo: le funzioni ricorsive, il λ-calcolo, il formalismo di Andrej A. Markov (1903-1979) e la macchina di Alan M ...
Leggi Tutto
Discreto e continuo
Paolo Zellini
Matematica e intuizione
La matematica ha sempre cercato di stabilire un nesso tra il continuo e il discreto, il primo esemplificato, tipicamente, nelle figure dello [...] e 1 si dice ricorsivo se esiste una sequenza ricorsivamente numerabile di numeri razionali a0, a1, a2,… e una funzione ricorsiva g tali che per la stabilità del processo. Nel corso di un algoritmo, ogni biforcazione basata sulla domanda se α=β può ...
Leggi Tutto
Linguaggio e scienza cognitiva
Diego Marconi
Premessa
«La questione più importante nello studio del linguaggio umano è quella del suo posto nella natura: di che tipo di sistema biologico si tratta, [...] particolare nella specie umana. Un processo cognitivo è un algoritmo che può essere realizzato da sistemi, naturali o questa posizione. Anzitutto, essi negano che il meccanismo ricorsivo sia il solo aspetto specificamente umano della facoltà del ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. I problemi di Hilbert e la matematica del nuovo secolo
David E. Rowe
I problemi di Hilbert e la matematica del nuovo secolo
Problemi matematici [...] scrisse insieme ad Adolf Hurwitz, nel quale è delineato un procedimento ricorsivo per risolvere le equazioni diofantee omogenee di grado arbitrario e genere zero.
La teoria degli algoritmi, sviluppata da Alonzo Church (1903-1995) e Alan M. Turing ...
Leggi Tutto
approssimazioni successive
approssimazioni successive procedimento di individuazione progressiva di valori approssimati di un risultato, la cui attendibilità aumenta all’aumentare del numero di iterazioni [...] funzione interpolatrice di un insieme di punti sono generalmente basati su algoritmi iterativi o ricorsivi che si arrestano al verificarsi di certe condizioni. Nell’ipotesi che l’algoritmo sia convergente, il valore vn ottenuto alla fine dell’n-esimo ...
Leggi Tutto
ricorsivo
agg. [der. di ricorrere]. – In matematica e in logica matematica, sinon. di ricorrente (nel sign. 3 c); in partic., nella teoria della ricorsività, funzioni r. primitive, quelle che si possono ottenere dalle funzioni iniziali mediante...