infinitesimo
infinitèsimo [agg. e s.m. Der. di infinito con il suff. -esimo dei numeri ordinali] [LSF] Oltre che nel signif. matematico, il termine è assai usato nella fisica per indicare una grandezza [...] cioè come una quantità che tende ad annullarsi; in tempi recenti, una teoria degli i. è stata sviluppata nell'ambito dell'analisinonstandard. ◆ [ANM] Ordine di i.: se u e v sono due i. simultanei, per es. due funzioni della variabile x che tendono ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1961-1970
1961-1970
1961
Famiglia universale. Il giapponese Masatake Kuranishi mostra che esiste sempre un certo tipo di famiglia olomorfa di strutture complesse [...] suoi collaboratori nel 1963. Nel 1968 verrà licenziato un vaccino basato su un nuovo ceppo.
1966
L'analisinonstandard. Abraham Robinson pubblica Non-standard analysis, libro in cui, a 250 anni dalla morte di Leibniz, si rende rigoroso ed efficiente ...
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 [...] : v. automi, teoria degli: I 332 c. ◆ I. risolvente: v. algebre di operatori: I 93 c. ◆ I. standard: v. analisinonstandard: I 145 f. ◆ I. statistico: i. di misure stazionarie, definite sulle cellette dello spazio delle fasi che identificano l’i ...
Leggi Tutto
infinito
infinito astrazione matematica (espressa dal simbolo ∞) che indica una grandezza illimitatamente grande o che può essere fatta crescere in modo illimitato. L’esempio più elementare è costituito [...] limite ∞;
• (aggettivo) nel senso della numerosità (→ cardinalità) degli insiemi;
• attuale (sostantivo o aggettivo) nella → analisinonstandard.
L’infinito in analisi
Come si è detto, fino alla fine del xix secolo, l’unico infinito che veniva ...
Leggi Tutto
campo
campo struttura algebrica costituita da un insieme K* dotato di due operazioni binarie interne + e · : K × K* → K*, dette rispettivamente addizione e moltiplicazione, tali che: K* è un gruppo abeliano [...] N tale che y ≤ nx). I campi ordinati Q e R sono archimedei. Esempi di campi ordinati non archimedei sono forniti dall’analisinonstandard. Il campo ha una particolare rilevanza in algebra perché è l’ambiente naturale cui appartengono i coefficienti ...
Leggi Tutto
misura
misura [Der. del lat. mensura, dal part. pass. mensus di metiri "misurare"] [LSF] Il valore di una grandezza, espresso come rapporto tra la grandezza data e un'altra grandezza della stessa specie [...] la densità relativa (all'acqua). ◆ [FAF] M. spettrale: v. logica quantistica: III 487 d. ◆ [ANM] M. standard e nonstandard: v. analisinonstandard: I 146 f. ◆ [MCS] M. stazionaria: v. meccanica statistica: III 728 a. ◆ [ALG] [ANM] Teoria della ...
Leggi Tutto
definizione
definizióne [Der. del lat. definitio -onis, da definire (→ definito)] [LSF] Il termine, nato nella filosofia naturale (spec. nella matematica) con il signif., che ha tuttora, di "proposizione [...] e il vettore di posizione di ognuna delle cariche che generano il campo medesimo). ◆ [ANM] [FAF] Principio di d. interna: v. analisinonstandard: I 147 e. ◆ [FAF] Relazione di d.: a seconda dei casi, lo stesso che d. formale (v. sopra) oppure d ...
Leggi Tutto
Matematico statunitense (Decatur, Georgia, 1932 - Princeton, New Jersey, 2014), prof. di matematica all'Università di Princeton (dal 1964). Membro della National academy of sciences (dal 1997) e dell'American [...] N., per es., la definizione utilizzata attualmente di differenziale stocastico. È stato anche tra i primi a utilizzare l'analisinonstandard introducendo la teoria degli insiemi interni, che è uno dei modi possibili di ampliare l'insieme dei numeri ...
Leggi Tutto
MODELLI, Teoria dei (App. III, 11, p. 139)
Giulio Supino
Alberto Pasquinelli
Aldo Marruccelli
In questi ultimi 15 anni (1960-75) la t. dei m. si è sviluppata secondo due ordini di idee del tutto opposti. [...] ha saputo attingere una serie di risultati basilari per quanto concerne i temi della coerenza, della completezza, dell'analisinonstandard, e simili, elaborando, inter alia, il cosiddetto "metodo dei diagrammi", più tardi sottoposto a proficua ...
Leggi Tutto
Progettazione digitale
Marco Gaiani
Il Boeing 777 è stato, a metà degli anni Novanta del Novecento, il primo aeroplano completamente progettato e ‘preassemblato’ in forma digitale senza far ricorso [...] , il matematico Abraham Robinson, che ne ha fissato i fondamenti nell’ambito del calcolo infinitesimale. L’analisinonstandard, nella sua essenza, getta le basi per uno strutturalismo dinamico, una semantica astratta che sottolinea l’interrelazione ...
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...