La seconda rivoluzione scientifica: matematica e logica. Teoria della ricorsivita
Piergiorgio Odifreddi
Teoria della ricorsività
La teoria della ricorsività affronta lo studio delle funzioni con lo [...] il comportamento in modo tale da permetterne il calcolo.
La speranza che la classe delle funzioniricorsiveprimitive contenga tutte (e sole) le funzioni calcolabili, cioè quelle per le quali esiste un procedimento che permetta di trovarne i valori ...
Leggi Tutto
L'Eta dei Lumi: matematica. I metodi numerici
Peter Schreiber
I metodi numerici
Il XVII sec. è stato in generale un 'secolo geometrico'. A parte alcune considerazioni di carattere puramente numerico, [...] ellittici e della teoria delle funzioni ellittiche, studiata a fondo nel XIX secolo. Giovanni Fagnano trovò tra l'altro numerose formule integrali ricorsive utilizzando l'integrazione per parti, per esempio per le primitive di xnsenx e xncosx ...
Leggi Tutto
L'Eta dei Lumi: matematica. La teoria dei numeri
Günther Frei
La teoria dei numeri
La teoria dei numeri (o aritmetica) tratta delle proprietà dei numeri. Lungo tutta la sua storia, un tema dominante [...] Wilson, anche se la sua dimostrazione (dell'esistenza di una radice primitiva modulo p) non era del tutto completa. Il teorema fu di s(m).
Servendosi della funzione inversa della S(x), Euler scoprì una relazione ricorsiva per s(m), che gli ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La teoria degli insiemi
Gabriele Lolli
La teoria degli insiemi
La teoria degli insiemi è universalmente considerata, nella sua concezione e impostazione [...] teoria di Zermelo non sia trattato come primitivo il concetto di corrispondenza, o funzione.
Dal punto di vista matematico, nel predicativa. Quello che Gödel ottiene, attraverso una definizione ricorsiva interna a ZF, o teorie equivalenti, è la ...
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...
corso2
córso2 s. m. [lat. cŭrsus -us, der. di cŭrrĕre «correre»]. – 1. a. ant. L’atto, l’esercizio del correre: In picciol c. mi parieno stanchi Lo padre e’ figli (Dante); alla lotta e al corso Io t’educai le membra (Parini); veloce nel c.;...