INTEGRALE ARMONICO
Mario BENEDICTY
Le forme armoniche e i loro i. sono ampie generalizzazioni delle fuuzioni armoniche, come sono intese nella teoria classica delle funzioni; queste, com'è ben noto, [...] questa App.) e per periodo di H sopra un p-ciclo C s'intende il valore dell'integrale ∉CH. Tale teorema è poi connesso con i due teoremi di de Rham sulle forme differenziali e sui loro periodi. Un altro risultato degno di nota è che le condizioni per ...
Leggi Tutto
La civilta islamica: antiche e nuove tradizioni in matematica. Filosofia della matematica
Roshdi Rashed
Filosofia della matematica
Gli storici della filosofia islamica dimostrano un interesse molto [...] rigorosamente dimostrati dai suoi predecessori. A questi lemmi egli aggiunge un postulato, e dalle ventisei proposizioni così ottenute deduce il suo teorema principale: Dio esiste, è unico, e non è né un corpo né è in un corpo.
L'interesse di questo ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
Bonaventura Cavalieri
Enrico Giusti
Dopo un periodo di assimilazione della matematica classica, che si era protratto per tutto il secolo precedente, il Seicento è caratterizzato da un intenso lavoro [...] linee e di figure piane e solide, fu apprezzato da Cavalieri. Nella seconda parte, dopo aver enunciato il teorema che oggi porta il suo nome (il teorema di Pappo-Guldin sul centro di gravità dei solidi di rotazione), Guldin si lanciava in un attacco ...
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 [...] studente Barend de Loor, fornì una dimostrazione intuizionista del teorema fondamentale dell'algebra. Le idee di Brouwer cominciarono a calcolo dei sequenti LK e LJ. Usando il suo teorema di eliminazione del taglio Gentzen mostrò che per IQC (calcolo ...
Leggi Tutto
La Rivoluzione scientifica: i protagonisti. Blaise Pascal
Daniel Fouke
Blaise Pascal
Blaise Pascal (1623-1662) nacque a Clermont-Ferrand. Dopo la morte della madre, nel 1626, il padre Étienne, uno stimato [...] come proiezioni di un cerchio considerato dal vertice del cono, e procedette a presentare quello che sarebbe diventato noto come il 'teorema di Pascal'. Egli prima evidenziò che un esagono inscritto in un cerchio ha tre coppie di lati opposti che si ...
Leggi Tutto
densita
densità [Der. del lat. densitas -atis, da densus "denso"] [LSF] (a) Generic., l'esser denso, il modo più o meno compatto con cui la materia è distribuita in un corpo o in un sistema (d. materiale). [...] data energia (per es., v. superfici solide, fisica delle: VI 21 a). ◆ [PRB] D. degli stati di energia: v. limite centrale, teorema del: III 414 c. ◆ [GFS] D. dell'acqua oceanica: v. oceanologia: IV 215 e. ◆ [EMG] D. di carica elettrica: il rapporto ...
Leggi Tutto
spin
spin 〈spin〉 [s.ingl. "rotazione", usato in it. come s.m. invar.] [FSN] [MCQ] Attributo delle particelle elementari e dei sistemi quantistici in generale, multiplo intero o semintero della costante [...] di spin semintero (oppure intero) obbediscono alla statistica di Fermi-Dirac (oppure di Bose-Einstein): v. spin, teorema di connessione e statistica. È dimostrato, sotto ipotesi molto generali, nella teoria quantistica dei campi. ◆ [FSD] Transizione ...
Leggi Tutto
definibilità
Silvio Bozzi
Nella logica matematica, concetto utilizzato in due sensi: uno riferito alle costanti extralogiche di una teoria in un linguaggio L, l’altro alle relazioni o funzioni su una [...] dominio interpretano allo stesso modo le Qi interpreteranno allo stesso modo anche P. Il risultato fondamentale al riguardo è il teorema di Beth (1950) che fornisce una versione precisa di un criterio formulato da Alessandro Padoa nel 1900 per cui la ...
Leggi Tutto
matrice jacobiana
Luca Tomassini
Generalizzazione al caso di funzioni di più variabili a valori vettoriali del concetto di derivata di una funzione scalare g:ℝ→ℝ. Più precisamente, si chiama matrice [...] detJ (determinante jacobiano) è definito (e sarà una funzione di x∈ℝν). Uno dei più importanti teoremi dell’analisi matematica classica, il teorema della funzione inversa, afferma che una funzione f:ℝν→ℝν è invertibile in un intorno opportuno di un ...
Leggi Tutto
compensazione
compensazióne [Der. di compensare (→ compensato)] [LSF] Atto ed effetto del compensare, operazione che serve ad annullare una differenza. ◆ [FSD] Tecnica per ottenere un semiconduttore [...] uguali e opposti (→ pendolo: P. compensato). ◆ [MTR] Metodo di misurazione per c.: v. misure fisiche: IV 46 f. ◆ [FTC] [EMG] Teorema della c.: afferma che se un ramo di una rete elettrica, in cui inizialmente passava una corrente di intensità i ...
Leggi Tutto
teorema
teorèma s. m. [dal lat. tardo theorēma, gr. ϑεώρημα (propr. «ricerca, meditazione», der. di ϑεω-ρέω «esaminare, osservare»)] (pl. -i). – 1. Nella cultura classica e medievale, la «visione» sensibile o intellettiva e il relativo oggetto,...
inverso1
invèrso1 agg. e s. m. [dal lat. inversus, part. pass. di invertĕre «invertire»]. – 1. agg. Contrario, opposto, rovescio rispetto a un altro, rispetto al precedente, rispetto a ciò che è abituale: facciamo ora il caso i.; rifare il...