Logiche nonstandard
Claudio Pizzi
Alcune famiglie di logiche nonstandard sono costituite da logiche che sono estensioni assiomatiche di quella standard, mentre altre constano di logiche rappresentabili [...] anni Sessanta del Novecento è stata conseguita un'analisi semantica dei principali sistemi modali, di cui è B), e si devono quindi collocare nella terza classe di logiche nonstandard. Tuttavia è stato recentemente dimostrato che se → è interpretato ...
Leggi Tutto
moto
mòto [Der. del lat. motus -us, dal part. pass. motus di movere "muovere"] [LSF] L'atto e l'effetto del muoversi, cioè dello spostarsi di un corpo da una posizione a un'altra; si contrapp. a quiete [...] ◆ [ASF] M. proprio solare fondamentale, o basic, e standard: v. astronomia galattica: I 224 b. ◆ [MCS] M : II 180 f. ◆ [MCC] Teorema del m. rigido piano: v. cinematica: I 596 b. ◆ [ANM] Teoria dei m. turbolenti: v. analisinon lineare: I 138 c. ...
Leggi Tutto
Mauro Palma
Maryam Mirzakhani
Quando la matematica è donna
Da Teheran a Harvard, la prima donna ad aver vinto la medaglia Fields, il più prestigioso riconoscimento nella ricerca matematica, a 37 anni [...] ’ultime sono oggetti definiti in termini di analisi e geometria differenziale le loro chiusure sono oggetti - Superfici iperboliche. Superfici caratterizzate da una geometria particolare (nonstandard) per la quale ogni punto della superficie è come ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La teoria degli insiemi
Gabriele Lolli
La teoria degli insiemi
La teoria degli insiemi è universalmente considerata, nella sua concezione e impostazione [...] l'aritmetica e l'analisi". I suoi assiomi sono proposti non in base a un'analisi logica o filosofica, voluta, con una operazione di collasso permessa dal fatto che la relazione nonstandard soddisfa l'estensionalità, si ha una vera estensione di M, M ...
Leggi Tutto
Nel linguaggio scientifico, in presenza di fenomeni casuali (o aleatori), p. di un evento è il numero, compreso fra 0 e 1, che esprime il grado di possibilità che l’evento si verifichi, intendendo che [...] si è sviluppato storicamente attraverso l’analisi del modo in cui esso viene usato ⋂B; la negazione di A è l’evento corrispondente al non accadere di A e si denota Ac, o Ā. In quadrata (positiva) è detta deviazione standard di ξ. Spesso nei più comuni ...
Leggi Tutto
sistema Nell’ambito scientifico, qualsiasi oggetto di studio che, pur essendo costituito da diversi elementi reciprocamente interconnessi e interagenti tra loro e con l’ambiente esterno, reagisce o evolve [...] internazionale si mosse gradualmente verso un regime di gold standard che fu realizzato pienamente intorno al 1880. Sotto è generalmente non lineare).
La scienza dei s. offre una metodologia generale per la rappresentazione e l’analisi di situazioni ...
Leggi Tutto
semantica Ramo della linguistica che si occupa dei fenomeni del linguaggio non dal punto di vista fonetico e morfologico, ma guardando al loro significato. Il termine fu coniato da M. Bréal nel 1883 come [...] (1933), pur mettendo in luce i limiti di un’analisi scientifica del significato, ha proposto una teoria per cui il hanno replicato con la ‘teoria standard estesa’, per cui all’ingresso del componente semantico non può esserci solo la struttura ...
Leggi Tutto
(II, p. 421; App. II, I, p. 125; III, I, p. 61; IV, I, p. 83)
Negli ultimi dieci anni lo sviluppo dell'a. è stato molto vivace. Ai temi di ricerca già consolidati se ne sono aggiunti nuovi e ne sono stati [...] partire da strutture algebriche complesse, analisi dei codici con la teoria trovato inattese applicazioni alla teoria delle equazioni non lineari. Si tratta di una serie di questa teoria (tableaux di Young e monomi standard nei lavori di G. C. Rota, ...
Leggi Tutto
GEOMETRIA
Mario Rosati
(XVI, p. 623; App. III, I, p. 724; IV, II, p. 39)
Le ricerche nel campo delle discipline geometriche ricoprono, com'è ormai noto da tempo, un'area sempre più ampia e differenziata [...] analisi; equazioni differenziali; frattali; funzionale, analisi; sopra considerati, si ritrova la classificazione standard delle curve (n=1) e delle o uguale a quella della X. Se dim Y〈dim X non c'è da attendersi l'esistenza di modelli minimali. Se dim ...
Leggi Tutto
TOPOLOGIA (v. analysis situs, I, p. 87; topologia astratta, App. II, 11, p. 1004; topologia, App. III, 11, p. 960)
Santuzza Baldassarri Ghezzo
La t. oggi è una delle discipline fondamentali della matematica; [...] allora non risolti.
La seconda radice della t., "insiemistica", fu influenzata e stimolata da tematiche dell'analisi, perciò la sua grande versatilità; e persegue certi problemi standard fra i quali, fondamentale, quello della classificazione degli ...
Leggi Tutto
standard aperto
loc. s.le m. Standard fornito di documentazione pubblica e che può essere utilizzato liberamente; con particolare riferimento ai sistemi aperti dell’informatica. ◆ Succedono dunque delle cose apparentemente paradossali: che...
trama
s. f. [lat. trama (nel sign. 1 a), voce d’incerta origine]. – 1. a. Nell’industria tessile, il filo (filo di trama) che costituisce la parte trasversale del tessuto: avvolto sulle spole, che sono montate al telaio, viene introdotto per...