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 [...] su di esse (ricorsione primitiva e ricerca del minimo, che definiremo più avanti). Egli aveva dunque concepito la nozione di funzionericorsiva nel senso moderno, e un analogo di quella che si chiama tesi di Church, cioè l'asserzione che la nozione ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer
Anne L. Troelstra
L'intuizionismo di Brouwer
Nella dissertazione Over de Grondslagen der Wiskunde (I fondamenti della [...] (m,k) e k realizza B(m).
Qui ∙ è l'operazione di applicazione tra un numero e il codice di una funzionericorsiva parziale. Kleene stabilì la correttezza di questa interpretazione: se HA ⊦A, allora esiste un numero n che realizza A. In particolare ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica
Solomon Feferman
Le scuole di filosofia della matematica
I più importanti programmi di fondazione della [...] 'insieme di tutti gli x∈ℕ per i quali valga P(x)). Dedekind applicò l'induzione per giustificare le definizioni ricorsive in ℕ, con le quali viene determinata una funzione F su ℕ fissando F(0) e dicendo come F(sc(x)) è definito in termini di F(x) per ...
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, [...] di addizione per gli integrali 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 ...
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 [...] successivamente da Hardy e Ramanujan (1918) per determinare un'espressione asintotica di s(m).
Servendosi della funzione inversa della S(x), Euler scoprì una relazione ricorsiva per s(m), che gli consentì di calcolare i valori s(m) in successione, a ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
La logica e i fondamenti della matematica tra Ottocento e Novecento
Mario Piazza
I fondamenti della geometria
Nella seconda metà dell’Ottocento, in tutta Europa il baricentro delle ricerche geometriche [...] sistema dei numeri naturali come un insieme N su cui è data una funzione iniettiva f da N a N. (l’operazione di passaggio al successore), al sistema dei numeri e alla derivabilità ricorsiva delle proprietà numeriche; tuttavia la differenza principale ...
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 [...] la sua variabile.
L'assioma di separazione afferma che, se una funzione proposizionale è definita per tutti gli elementi di un insieme M, . 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...
piazza
s. f. [lat. platĕa «via larga, piazza» (dal gr. πλατεῖα, propriam. femm. di πλατύς «largo»); cfr. platea, che risale a una variante lat. platēa con e lunga]. – 1. a. Area libera, più o meno spaziosa, di forma quadrata, rettangolare,...