Storia della civiltà europea a cura di Umberto Eco (2014)
Talete e la questione delle origini
Luca Simeoni
Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
I primi documenti matematici risalgono alle più antiche civiltà della Mesopotamia [...] 250). Ancora, avrebbe scoperto il teorema sull’uguaglianza degli angoli opposti al allo studio dell’astronomia, delcalcolo e della geometria. e non di un altro (Metafisica, I, 2). In questo processo un ruolo fondamentale è svolto dai pitagorici. ...
Leggi Tutto
integrazione
integrazione termine con cui si indica il calcolo di un → integrale: l’integrazione di una funzione consiste nella ricerca delle sue primitive. Il termine è usato anche per indicare la risoluzione [...] metodo più elementare è quello per somma, che riporta il calcolo dell’integrale della somma di due funzioni alla somma degli fattori del denominatore. Tale decomposizione è sempre teoricamente possibile, in virtù delteoremafondamentale dell’ ...
Leggi Tutto
CANTELLI, Francesco Paolo
Piero Delsedime
-Nacque a Palermo il 20 dic. 1875 da Vincenzo e Giulia Pizzoli. A Palermo frequentò l'università, dove si laureò in matematica pura nel 1899 con una tesi di [...] impostazioni formali complete, per mezzo della teoria della misura, delcalcolo delle probabilità. Il lavoro diede origine sia in Italia cit., pp. 86-113) e Intorno ad un teoremafondamentale della teoria del rischio (Milano 1910, e in op. cit., pp ...
Leggi Tutto
predicati, calcolo dei
predicati, calcolo dei calcolo logico in cui si può esprimere, in modo rigoroso, un ragionamento e valutarne la correttezza. Se si pensa al ragionamento come a una successione [...] tutti i teoremidelcalcolo degli enunciati possono essere dimostrati anche nel calcolo dei predicati. calcolo predicativo del secondo ordine. La differenza tra i due risulta fondamentale sul piano espressivo: le formule delcalcolo predicativo del ...
Leggi Tutto
flusso
flusso [Lo stesso etimo di flussione] [MCF] (a) Scorrimento di un fluido, cioè sinon. di corrente (fluida, di cariche elettriche, ecc.), o di energia elettromagnetica (in partic. luminosa, radio, [...] il m3/s. È il signif. fondamentaledel termine, da cui, per analogia, , la differenza fra il f. calcolato per la superficie chiusa che approssima del campo: v. campi, teoria classica dei: I 472 f. ◆ [ALG] Teoremadel f. di Gauss: lo stesso che teorema ...
Leggi Tutto
I numeri complessi e le loro applicazioni
I numeri complessi e le loro applicazioni
Sono caratterizzati da un numero indicato con una lettera perlomeno inusuale, i, detta unità immaginaria. Per di più, [...] isinα)n = cos(nα) + isin(nα), che risolve il problema delcalcolo della potenza di un numero complesso z, qualunque sia l’esponente intero n raggio
Il risultato viene generalizzato dal teoremafondamentale dell’algebra che afferma che ogni ...
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 [...] le espressioni e questo risulta fondamentale per studiare l’esistenza di che arricchiscono di molto le possibilità espressive delcalcolo ma – malgrado la semplicità della sintassi così le varie forme delteorema dimostrato originariamente da Church ...
Leggi Tutto
numero intero, scomposizione in fattori di un
numero intero, scomposizione in fattori di un o fattorizzazione di un numero intero, in algebra, determinazione dei k interi n1, ..., nk, diversi da 1 e [...] da non alterare il segno del numero): questo è il contenuto delteoremafondamentale dell’aritmetica, il quale stabilisce compaiono nelle due fattorizzazioni; il mcm invece può essere calcolato effettuando il prodotto di tutti i fattori primi comuni ...
Leggi Tutto
Hauptsatz di Gentzen
Silvio Bozzi
Con questo nome (che significa teoremafondamentale) nella letteratura logica si indica una classe di teoremi il cui prototipo è dato dal risultato ottenuto da Gerhald [...] che non utilizza la regola del taglio
Poiché la regola del taglio è l’unica delcalcolo che comporta nella dimostrazione di un sequente Γ⇒Δ l’eventuale ricorso a formule che non compaiono come sottoformule di Γ⇒Δ, il teorema ha come corollario la ...
Leggi Tutto
Bayes
Bayes Thomas (Londra 1702 - Tunbridge Wells, Kent, 1761) matematico inglese. Membro della Royal Society dal 1742, è noto per le sue ricerche nel campo della probabilità e dell’inferenza statistica. [...] delcalcolo infinitesimale di Newton dagli attacchi del filosofo G. Berkeley. Il suo principale scritto, di fondamentale a questioni riguardanti gli errori e le approssimazioni, si trova il teorema che porta il suo nome e che è alla base della ...
Leggi Tutto
geometria
geometrìa s. f. [dal lat. geometrĭa, gr. γεωμετρία, comp. di γῆ «terra» (v. geo-) e -μετρία «misurazione» (v. -metria)]. – 1. In senso ampio e generico, lo studio dello spazio e delle figure spaziali, originariamente sviluppatosi...
derivazione1
derivazióne1 s. f. [dal lat. derivatio -onis, der. di derivare «derivare1»]. – 1. L’atto, l’operazione, il fatto di derivare o di essere derivato, e il modo o il processo attraverso cui si deriva (nel sign. trans. e intr. di derivare1):...