La seconda rivoluzione scientifica: matematica e logica. L'analisi numerica
Paolo Zellini
L'analisi numerica
L'analisi numerica moderna comincia a delinearsi verso la metà del XX sec., con le prime [...] p. 5).
In altri termini, il programma di sviluppo della scienza del calcolo comportava una sorta di aritmetizzazione della matematica: una riduzione dei modelli differenziali e integrali, utili alla simulazione di fenomeni di varia natura, a processi ...
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 [...] della misura, la teoria degli spazi di Hilbert, l'integrale di Radon e la geometria affine. Dopo il 1974 suo teorema di eliminazione del taglio Gentzen mostrò che per IQC (calcolo dei predicati intuizionista) vale la proprietà disgiuntiva DP: se ⊦ ...
Leggi Tutto
integrale
agg. e s. m. [dal lat. tardo integralis, der. di intĕger «integro, intero»]. – 1. agg., non com. Di elemento che fa parte di un tutto, che concorre alla costituzione di un intero (sinon. quindi di integrante): i corpi i. del mondo...
calcolo1
càlcolo1 s. m. [dal lat. calcŭlus, propr. «pietruzza» (cfr. càlcolo2), attrav. il sign. di «gettone per fare i conti»]. – 1. a. Successione più o meno lunga di operazioni atte a fornire la soluzione di un dato problema aritmetico,...