La seconda rivoluzione scientifica: matematica e logica. Il calcolo geometrico
Paolo Freguglia
Gert Schubring
Il calcolo geometrico
Quando pubblicò il trattato Die lineale Ausdehnungslehre (La teoria [...] nuova disciplina, la teoria delle forme (Formenlehre). Per la sua grande originalità, quell'opera non ebbe facile accoglienza costituisce una sorta di intermediazione numerica per lo studio degli enti geometrici e delle loro proprietà, mentre il ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Le logiche modali
Fabio Bellissima
Paolo Pagli
Le logiche modali
L'Organon di Aristotele, atto di nascita della logica formale, comprende, oltre [...] sono della logica classica. McKinsey e Tarski dimostrarono che l'insieme degli elementi chiusi di un'algebra di chiusura (cioè gli elementi di Boole arricchite di un operatore che traducesse le proprietà del predicato 'Teor', tra le quali vi è ...
Leggi Tutto
raggio
ràggio [Der. del lat. radius, in origine "bacchetta appuntita", poi "raggio luminoso" perché questo s'irradia rettilineamente da una sorgente raccolta, come il raggio della ruota che parte rettilineamente [...] sperimentale del-l'esistenza degli isotopi. Ai r. canale esso alla quale il campo è ancora operativamente sensibile, cioè è capace di dar luogo di propagazione delle onde in un magnetoplasma: v. magnetoionica, teoria: III 566 d. ◆ [ACS] R. di ...
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). [...] alcune sostanze. ◆ [MCS] D. degli stati: il numero di stati presenti in D. di proiettore: v. corrente nella teoria dei campi: I 790 b. ◆ [ X, diffrazione nei cristalli dei: IV 742 a. ◆ [MCQ] Operatore di d.: v. probabilità quantistica: IV 596 a. ◆ [ ...
Leggi Tutto
stato
stato [Der. del lat. status -us "posizione stabile", da stare "stare fermo"] [LSF] Modo di essere, condizione nella quale si trova una sostanza, un corpo, un sistema: s. di quiete o di moto, s. [...] v. termalizzazione: VI 140 c. ◆ [ANM] S. normale: v. algebre di operatori: I 98 a. ◆ [FTC] S. passivo: v. exergia: II 511 e [FML] Principio microscopico degli s. corrispondenti: v. interazioni molecolari: III 250 e. ◆ [CHF] Teoria dello s. di ...
Leggi Tutto
forme modulari
Massimo Bertolini
Si indichi con SL2(ℤ) il gruppo delle matrici 2×2 a coeffcienti nell’anello ℤ degli interi relativi aventi determinante 1, e con Γ0(N) il sottogruppo contenente le matrici [...] Fourier a0 uguale a zero. Vi è una famiglia di operatori T{[, per n≥1 intero, detti operatori di Hecke, che agiscono come endomorfismi su S〈(Γ). Per è essenziale per le applicazioni aritmetiche della teoria delle forme modulari; in particolare, essa ...
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 [...] ◆ [ALG] Indice di s. di una varietà: v. operatori, indici di: IV 301 c. ◆ [FAT] Interazione s.- determinato dalla vita media degli stati quantistici interessati. ◆ dimostrato, sotto ipotesi molto generali, nella teoria quantistica dei campi. ◆ [FSD] ...
Leggi Tutto
rotore
rotóre [Der. di rotazione] [ALG] [ANM] (a) R. di un campo tensoriale: v. tensore: VI 129 d. (b) R. di un vettore: operatore differenziale su un campo vettoriale, detto anche rotazione e rotazionale, [...] dal teorema di Stokes della circuitazione all'operatore integrale circuitazione (v. campi, teoria classica dei: I 470 f). La girante o ruota. ◆ [MCF] L'organo sostentatore-propulsore degli elicotteri (e, in sede sperimentale, anche di autogiri, ...
Leggi Tutto
Kronecker Leopold
Kronecker 〈króonekër〉 Leopold [STF] (Liegnitz 1823 - Berlino 1891) Prof. di matematica nell'univ. di Berlino (1883); socio straniero dei Lincei (1883). ◆ [ANM] [INF] Algoritmo di K.: [...] . ◆ [ANM] Foliazione di K.: v. algebre di operatori: I 97 b. ◆ [ALG] Indice di K.: vuoto: II 389 [6.9]). (b) Nella teoria delle matrici, ||δrs|| è il simb. della di classe pari (o di classe dispari) degli indici distinti inferiori, vale 0 in tutti gli ...
Leggi Tutto
categoria
categoria [Der. del lat. categoria, dal gr. kategoría "attributo"] [ALG] Nell'algebra astratta, struttura algebrica costruita nel modo seguente. Sia data una famiglia M di enti matematici (detta [...] degli oggetti, l'insieme dei morfismi e la legge di composizione definiscono appunto la struttura chiamata categoria. La teoria delle c. è importante nei problemi di classificazione di teorie algebriche o analitiche; per es., v. algebre di operatori ...
Leggi Tutto
teoria
teorìa s. f. [dal gr. ϑεωρία, der. di ϑεωρός (v. teoro), e quindi, in origine, «delegazione di teori»; nel sign. 1, attraverso il lat. tardo theorĭa]. – 1. Formulazione logicamente coerente (in termini di concetti ed enti più o meno...
opera
òpera (ant. o poet. òpra; ant. òvra) s. f. [lat. ŏpĕra «lavoro (in senso astratto, come attività); prestazione di lavoro; giornata di lavoro, nei campi; lavoratore a giornata»; è il plur. collettivo del neutro opus opĕris «lavoro, opera...