ricorsivita
ricorsività [Der. di ricorsivo "proprietà di essere ricorsivo"] [ALG] Teoria della r.: teoria che si propone lo studio, nell'ambito dei numeri naturali, degli algoritmiricorsivi e delle [...] funzioni ricorsive (→ ricorsivo). ...
Leggi Tutto
Vicino Oriente antico. La matematica
Jöran Friberg
La matematica
Gli esercizi metro-matematici nel III millennio
La ricerca sulla matematica mesopotamica conobbe il suo periodo pionieristico a partire [...] la coppia (2.13.20, 27) è corretta, per applicare questo algoritmo si comincia con l'osservare che 20 (=20/60, ossia il reciproco P3) suggeriscono che il concetto di procedimenti ricorsivi potenzialmente infiniti potesse essere familiare ai geometri ...
Leggi Tutto
La grande scienza. Automi e linguaggi formali
Dominique Perrin
Automi e linguaggi formali
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. [...] parola, si definisce 'coppia critica'.
Esiste un algoritmo che permette di completare un sistema di riscrittura e quale g(x,m)=0.
È un risultato classico che le funzioni ricorsive e le macchine di Turing, come pure molti altri formalismi, definiscono ...
Leggi Tutto
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
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
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...