LOGICA E INFORMATICA
Carlo Cellucci
I. McCarthy (1963) afferma che è ragionevole sperare che le relazioni tra l'i. e la l. matematica nel prossimo secolo saranno altrettanto fruttuose di quelle tra [...] =0.
Per le clausole di Horn esiste un procedimento di risoluzione molto semplice, detto risoluzione SLD (risoluzione lineare per clausole definite con scelta).
Per spiegarlo consideriamo il seguente esempio. Sia Γ l'insieme consistente delle clausole ...
Leggi Tutto
Introduzione. - La teoria delle c. è di recente costruzione, ma, per la sua stessa natura, è oggi già penetrata diffusamente nella matematica. Essa rappresenta, nel pensiero matematico, un momento di sintesi, [...] vettoriale V(X) con base X. Com'è noto, per ogni coppia X e W, ogni funzione g: X → U(W) si estende a una mappa lineare, f: V(X) → W, che associamo a g; la corrispondenza σ: g S-109??? f ammette un'inversa, precisamente quella che associa ad f la sua ...
Leggi Tutto
La Rivoluzione scientifica: i domini della conoscenza. La rivoluzione cartesiana e gli sviluppi della geometria
Emily Grosholz
La rivoluzione cartesiana e gli sviluppi della geometria
La rivoluzione [...] dettagli le relazioni fra equazioni, luoghi e curve. Fermat comincia la sua esposizione rappresentando il caso più semplice, l'equazione lineare ax=by, dimostrando che si tratta sempre di una retta e che, di conseguenza, ogni equazione di primo grado ...
Leggi Tutto
La scienza bizantina e latina prima dell'influsso della scienza araba. Aritmetica e geometria
Menso Folkerts
Aritmetica e geometria
Le discipline matematiche del quadrivio
Tra il 500 e il 1100 ca., [...] egizi del papiro Rhind, volti a calcolare la quantità di un gruppo o l'età di una persona; essi conducevano sempre a un'equazione lineare nx+p=100, in cui n era di solito la somma di numeri razionali e p un numero naturale oppure zero;
b) problemi ...
Leggi Tutto
onda
ónda [Der. del lat. unda] [LSF] Fenomeno fisico per cui una perturbazione prodotta localmente in un mezzo si propaga a distanza, trasportando lontano energia e informazioni circa le sue caratteristiche [...] . onde gravitazionali: IV 282 d. ◆ [ANM] Equazione d'o.: (a) l'equazione differenziale iperbolica, di norma lineare, alle derivate parziali del secondo ordine nelle coordinate spaziotemporali che esprime analiticamente la duplice identica variabilità ...
Leggi Tutto
Simulazione, modelli di
Italo Scardovi
Modelli e simulazioni nella scienza
Secondo l'etimo latino, 'simulare' sta per 'render simile', come vuole la sua derivazione da similis; e tuttavia il verbo ha [...] economico. A questo scopo, particolari vantaggi, anche algoritmici, presentano le simulazioni attraverso i metodi di programmazione lineare (essendo imposta alle variabili del modello la condizione di linearità) e di programmazione dinamica, in cui ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. I fondamenti della geometria
Umberto Bottazzini
I fondamenti della geometria
Verso la metà del XIX sec. Georg Friedrich Bernhard Riemann (1826-1866) [...] , gli iperspazi non sono altro che insiemi di ennuple di numeri, da studiare con le tecniche dell'algebra lineare. In una recensione dei Fondamenti di geometria, Peano denuncia l'assurdità logica insita nella concezione 'genetica' degli iperspazi ...
Leggi Tutto
Scienza greco-romana. Diofanto di Alessandria
Roshdi Rashed
Diofanto di Alessandria
Nel corso degli ultimi decenni la nostra conoscenza dell’opera di Diofanto di Alessandria è cambiata in maniera considerevole, [...] . Ciò ci riporta alla nozione, già richiamata, di ‘specie di numero’, Diofanto parla infatti di tre specie: quella del «numero lineare», quella del «numero piano» e, infine, quella del «numero solido», e soltanto a proposito di queste tre specie si ...
Leggi Tutto
La Rivoluzione scientifica: i protagonisti. Christiaan Huygens
Gianfranco Mormino
Christiaan Huygens
Gli anni di formazione e le prime ricerche
Christiaan Huygens, appartenente a un'importante famiglia [...] centrifuga e la causa della gravità, Huygens elabora l'ipotesi dello schiacciamento della Terra, da ascriversi alla maggiore velocità lineare presso l'equatore. Con la spedizione verso i mari del Sud di una nave equipaggiata con il suo pendolo egli ...
Leggi Tutto
LOMBARDO RADICE, Lucio
Albertina Vittoria
Piervittorio Ceccherini
Nacque a Catania il 10 luglio 1916, da Giuseppe e da Gemma Harasim, terzogenito dopo Giuseppina e Laura.
Come lui stesso scrisse, i [...] il merito di introdurre nell'insegnamento universitario italiano argomenti all'epoca trascurati (algebra astratta, algebra lineare, algebra universale, topologia generale, teoria delle categorie); si adoperò in particolare per l'introduzione di ...
Leggi Tutto
lineare1
lineare1 agg. [dal lat. linearis]. – 1. Inerente a una linea (per lo più retta), che procede secondo una retta, o che si sviluppa prevalentemente nel senso della lunghezza: misure l., le misure di lunghezza (contrapp. alle misure...
lineare2
lineare2 v. tr. [dal lat. lineare] (io lìneo, ecc.). – 1. Segnare con linee, tracciare linee su una superficie, rigare: macchina per l. (v. lineatrice). 2. letter. o ant. Disegnare tracciando la linea di contorno, delineare, conformare,...