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 [...] considerazione i quattro modi che rimarranno fondamentali ‒ necessario, possibile, contingente, significa che α è vero in almeno un punto che sia accessibile da w. La definizione formale ricalca quella appena data:
w ⊨□α se, per ogni u∈W tale che ...
Leggi Tutto
DINI, Ulisse
Marta Menghini
Nacque a Pisa il 14 ott. 1845 da Pietro e da Teresa Marchioneschi. Alunno della Scuola normale superiore, fu allievo all'università pisana di E. Betti e O. F. Mossotti, e [...] Denjoy e O. Perron, che vengono subordinati ad altre definizioni di integrali e collegati dal D. ai concetti di B che ne generalizza un'altra di Abel, e che è considerata fondamentale nel campo delle equazioni integrali, di cui il D. può dirsi ...
Leggi Tutto
CEVA, Giovanni
Ugo Baldini
Nacque a Milano, da Carlo Francesco e da Paola de' Colombi, molto probabilmente nel dicembre del 1647. Come il fratello Tommaso, compì i primi studi nel locale collegio gesuitico, [...] data alla trattazione, che procede per postulati, definizioni e scolii, esempio tipico del fenomeno tardosecentesco esigeva di per sé il chiarimento di nozioni economiche fondamentali, travalicanti di molto l'ambito applicativo dell'indagine. ...
Leggi Tutto
insieme
insième [Der. del lat. insemel, forma corrotta di insimul, comp. di in- e simul "insieme"] [ALG] Secondo la definizione di G. Cantor, ogni raccolta (aggregato, famiglia) di enti distinti, detti [...] i. T di S associa un valore di y. Tale definizione, che rientra nella definizione generale di funzione, contiene casi particolari notevoli; per es., che abbiamo nominate, sono le tre strutture fondamentali della matematica moderna, a cui le altre ...
Leggi Tutto
CODAZZI, Delfino
Silvia Caprino
Nacque a Lodi il 7 marzo 1824 da Domenico. Fu dapprima professore di scienze naturali e matematica presso il liceo ginnasio di Lodi, in seguito si trasferì a Pavia ad [...] scritto si trovano le famose formule, fondamentali per la geometria differenziale della superficie, angolo compreso fra le intersezioni (ν, λ) e (λ, μ) (analoghe definizioni valgono per le grandezze con apici μe ν), il C., a partire dalle formule ...
Leggi Tutto
periscopio
periscòpio [Der. dell'ingl. periscope, comp. di peri- e -scope "-scopio"] [OTT] Dispositivo ottico che consente di scrutare l'orizzonte a un osservatore in una posizione in cui tale esplorazione [...] congegni periscopici a struttura non verticale. La fig. illustra tali definizioni nel caso dei semplici p. a specchi (1), o polemoscopi di mira nel piano orizzontale. Gli elementi ottici fondamentali di un congegno periscopico sono i seguenti (non ...
Leggi Tutto
pi grèco [LSF] Nome corrente della lettera gr. π, Π (→ pi). ◆ [ALG] [ANM] Nella forma min. π, numero che, introdotto inizialmente come rapporto tra la lunghezza di una qualunque circonferenza e il suo [...] diametro, ha progressivamente assunto il ruolo di una delle costanti fondamentali della matematica, suscettibile di varie definizioni (v. oltre: Calcolo di π); si tratta di un numero reale irrazionale (cioè decimale illimitato non perio-dico) e ...
Leggi Tutto
dimensione
dimensióne [Der. del lat. dimensio -onis "misura", dal part. pass. dimensus di dimetiri "misurare"] [MCQ] D. anomala: una d. operatoriale diversa da quella canonica di una data teoria. ◆ [MCC] [...] esponente numerico che indica come ciascuna delle grandezze fondamentali del sistema interviene nella grandezza, nell'equazione una figura geometrica nello spazio euclideo; ha varie definizioni, equivalenti soltanto in casi particolari e tra esse ...
Leggi Tutto
Regola di condotta, stabilita d’autorità o convenuta di comune accordo e di origine consuetudinaria, che ha per fine di guidare il comportamento dei singoli o della collettività, di regolare un’attività [...] il concetto di n. di una funzione, sia pure con varie definizioni dipendenti dallo spazio ambiente; per es., negli spazi di Lebesgue Ln delle personalità, che intende prescrivere le caratteristiche fondamentali che una persona, per essere considerata ...
Leggi Tutto
TENSORIALE, ALGEBRA e ANALISI
Dionigi Galletto
Il calcolo t., sinonimo di calcolo differenziale assoluto (v. differenziale assoluto, calcolo, XII, p. 796; tensore, XXXIII, p. 497), i cui fondamenti [...] ∉Wpf(l)ω è già stato definito, si può porre per definizione
Se Wp è orientabile anche il suo bordo, che verrà indicato classe Cr-1 (o C∞ o Cw). g prende il nome di "tensore fondamentale" (o "tensore metrico") e la sua presenza implica che lo s. v. ...
Leggi Tutto
definizione
definizióne (ant. diffinizióne) s. f. [dal lat. definitio -onis]. – 1. Determinazione, delimitazione esatta: d. di un confine; d. dei limiti di competenza di due organi amministrativi; d. dei termini di una questione. 2. L’atto,...
natura
s. f. [lat. natūra, der. di natus, part. pass. di nasci «nascere»]. – 1. Il sistema totale degli esseri viventi, animali e vegetali, e delle cose inanimate, che presentano un ordine, realizzano dei tipi e si formano secondo leggi. Quindi:...