Logica matematica
Abraham Robinson
*La voce enciclopedica Logica matematica è stata ripubblicata da Treccani Libri, arricchita e aggiornata da un’introduzione di Gabriele Lolli e un saggio di Beppo [...] Si chiama ‛corpo ordinato' un corpo in cui sia definito un ordinamento lineare (totale), a>b, tale che, per tutti gli a, , a⋂1=a, a⋃a′=1, a⋂a′=0.
Un esempio tipico di algebra booleana è l'insieme di tutti i sottoinsiemi di un dato insieme V, dove i ...
Leggi Tutto
Scienza indiana: periodo classico. Matematica
Takao Hayashi
Matematica
'Gaṇita' ('matematica')
Prima dell'introduzione e diffusione dell'astrologia oroscopica e dell'astronomia matematica nella società [...] S2(n) e ghana-citi-ghana ('solido di pile cubiche') per S3(n).
Le identità algebriche fornite nei due versi seguenti (23-24) sono:
[(a+b)2−(a2+b2)]/2=ab non inclusi nelle tavole. Una consiste in un'interpolazione lineare, Rsen(αi+θ)≈Ji+(θ/α) ×Ki+1, ...
Leggi Tutto
Scienza greco-romana. Euclide e la matematica del IV secolo
Reviel Netz
Euclide e la matematica del IV secolo
Sappiamo del IV sec. a.C. più di quanto non sappiamo del V, ma è sempre molto poco. Fra [...] da Menecmo. Oggi esse sono ‘definite’ dalle loro proprietà algebriche, ma non era così nell’Antichità. Tor ne remo su la ‘cassetta degli strumenti’ permette di passare dall’aspetto lineare di una situazione geometrica a quello delle aree e, poiché ...
Leggi Tutto
La civilta islamica: antiche e nuove tradizioni in matematica. Trigonometria
Marie-Thérèse Debarnot
Trigonometria
Dalla geometria alla trigonometria
La trigonometria, scienza ausiliaria dello studio [...] 1=x1−x0=…=d, la formula che in al-Bīrūnī sostituisce l'interpolazione lineare y=y0+[(x−x0)/d]Δy0 sull'intervallo [x0, x1] è:
successione un=f(un−1). Utilizza inoltre le tecniche degli algebristi, tra cui la disposizione in una tavola usata per lo ...
Leggi Tutto
L'Ottocento: matematica. Le origini della teoria dei gruppi
Jeremy Gray
Le origini della teoria dei gruppi
La teoria di Galois e la soluzione algebrica delle equazioni algebriche
La teoria di Galois [...] 1, trasforma gi in gigj−1. Tale rappresentazione induce un'applicazione lineare di Vn in sé, che manda egi in egigj−1; a 'addizione e se [A,X] è in J per tutti gli A nell'algebra e tutti gli X nell'ideale. Si può dimostrare che l'insieme dei prodotti ...
Leggi Tutto
L'Ottocento: matematica. Teoria dei numeri
Catherine Goldstein
Teoria dei numeri
Le tappe più significative dello sviluppo di un settore della scienza o dell'arte si accordano raramente con la suddivisione [...] di un intero n, allora esiste una trasformazione lineare a coefficienti interi e a determinante uguale a 1 b interi ordinari, risulta che, (1+√5)/2 è radice dell'equazione algebrica x2−x−1=0, la quale ha coefficiente direttore uguale a 1: malgrado ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La probabilita
Eugenio Regazzini
La probabilità
Evoluzione della nozione di probabilità
La grande difficoltà in cui si dibattevano i cultori [...] a valori in y e misurabile rispetto alla coppia ℋ-S (S è una σ-algebra di sottoinsiemi di y), e propone un procedimento per dedurre da P un nuovo ente ridurre la [20] a un'equazione differenziale lineare di tipo parabolico, oggi nota come 'equazione ...
Leggi Tutto
L'Ottocento: matematica. Il rigore in analisi
Umberto Botta
Il rigore in analisi
L'eredità di Lagrange
All'epoca della Rivoluzione francese, l'esigenza di formare una classe di ingegneri civili e militari [...] in modo da non ricorrere mai ad argomenti tratti dalla generalità dell'algebra" (Cauchy 1821a, p. 2) tanto cara a Lagrange. La ottenuta da Euler come integrale di un'equazione differenziale lineare del secondo ordine e nel 1813 aveva pubblicato i ...
Leggi Tutto
La grande scienza. Geometria non commutativa
Alain Connes
Geometria non commutativa
Se si pensa che la geometria sia strettamente legata al nostro modello di spazio-tempo, allora la teoria generale [...] ; si ottiene la stessa espressione, con i punti x e y sostituiti da stati arbitrari φ e ψ sull'algebra A. Ricordiamo che uno stato è una forma lineare positiva normalizzata su A tale che φ(1)=1,
La distanza tra due stati è data da
Il significato ...
Leggi Tutto
La seconda rivoluzione scientifica: introduzione. Filosofia e pratica matematica
Umberto Bottazzini
Filosofia e pratica matematica
Quando si parla di 'seconda rivoluzione' scientifica si pensa di solito [...] di corpo e ideale (e le loro proprietà) alle funzioni algebriche di una variabile. L'obiettivo è di fondare la teoria di finita tale che ogni forma si può scrivere come combinazione lineare di elementi della base a coefficienti nel dominio. "Questa ...
Leggi Tutto
sostituzione
sostituzióne (ant. sustituzióne) s. f. [dal lat. tardo substitutio -onis, der. di substituĕre «sostituire»]. – 1. L’azione, l’atto di sostituire; il fatto di sostituirsi o di essere sostituito: nessuno si è accorto della s. dell’originale...
equazione
equazióne s. f. [dal lat. aequatio -onis, der. di aequare «uguagliare»]. – Propr., uguaglianza, uguagliamento, pareggiamento. Il termine, raro con uso generico (si adopera tuttavia, a volte, nel linguaggio letter. e in frasi di tono...