ricorsività La proprietà di essere ricorsivo, cioè ricorrente. Teoria della r., o della ricorsione, o computabilità, la disciplina che si occupa di fornire una caratterizzazione matematica del concetto [...] iniziali mediante un numero finito di applicazioni delle regole di sostituzione e di induzione. Esempi di funzioniricorsiveprimitive sono le comuni funzioni aritmetiche elementari: predecessore di x: pr(1) = 0, pr(x′) = x; segno di x: sg(0) = 0 ...
Leggi Tutto
Logica matematica
Abraham Robinson
*La voce enciclopedica Logica matematica è stata ripubblicata da Treccani Libri, arricchita e aggiornata da un’introduzione di Gabriele Lolli e un saggio di Beppo [...] che ciò, di fatto, non si verifica, osserviamo che non è difficile ordinare effettivamente tutte le funzioniricorsiveprimitive di una variabile secondo una successione infinita, con eventuali ripetizioni, specificando il modo in cui ciascuna ...
Leggi Tutto
Dimostrazione, teoria della
Jean-Yves Girard
La teoria della dimostrazione nasce negli anni Venti del Novecento come strumento di realizzazione del programma di David Hilbert per la fondazione della [...] della dimostrazione di partenza e quella senza tagli che si ottiene non è maggiorato nemmeno da una funzionericorsivaprimitiva. Per dimostrare la convergenza dell'algoritmo di eliminazione dei tagli occorre quindi ricorrere a un'induzione su ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La probabilita
Eugenio Regazzini
La probabilità
Evoluzione della nozione di probabilità
La grande difficoltà in cui si dibattevano i cultori [...] chiarezza formale, Kolmogorov considera un insieme Ω di enti primitivi, deno minati 'casi elementari' e una classe E di con l'apparizione dei concetti di 'algoritmo' e di 'funzionericorsiva'. Infatti, nel 1940, Alonzo Church se ne avvalse per ...
Leggi Tutto
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
Intuizionismo
AArend Heyting
di Arend Heyting
Intuizionismo
sommario: 1. Concetti fondamentali. 2. Aritmetica elementare. 3. Il principio del terzo escluso. 4. I numeri reali. 5. Ineguaglianza e separazione [...] soluzione fu resa possibile dalla teoria delle funzioniricorsive. L'analisi ricorsiva è diventata un importante campo di ricerca, C'è uno sviluppo graduale da questa forma primitiva di matematica alle complicate costruzioni astratte degli ...
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
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 [...] in esso non è neppure rappresentabile la funzione prodotto a • b. Invece il sistema e i due assiomi che definiscono ricorsivamente il prodotto, cioè
è sufficiente per Anche la teoria della ricorsività primitiva viene ampliata nella teoria della ...
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.;...