underflow
Dizionario delle Scienze Fisiche (1996)
underflow
underflow 〈andërflóu〉 [ANM] Principio u.: v. analisi non standard: I 145 e. ...
Leggi Tutto
CATEGORIA:
ANALISI MATEMATICA
anàlisi
Dizionario delle Scienze Fisiche (1996)
analisi
anàlisi [Der. del gr. análysis "scomporre in elementi"] [LSF] Scomposizione di un tutto, concreto o astratto, nelle parti che lo costituiscono, soprattutto a scopo di studio; si oppone a sintesi, [...] anni '60 nell'ambito della logica matematica per rendere rigoroso il metodo degli infinitesimi e degli infiniti: v. analisi non standard. ◆ [ANM] A. numerica: v. calcolo numerico. ◆ A. spettrale: (a) [OTT] il procedimento volto a determinare, con i ...
Leggi Tutto
non standard
Dizionario delle Scienze Fisiche (1996)
non standard
nón stàndard [locuz. agg.] [LSF] Generic., di enti o condizioni non usuali, non rispondenti a certe norme, e simili. ◆ [ALG] [FAF] Analisi n.: disciplina nata nell'ambito della logica matematica, [...] utile per risolvere problemi attuali, con applicazioni in molti campi, dalla probabilità all'analisi funzionale, alla fisica teorica: v. analisi non standard. ◆ [ALG] [FAF] Calcolo, misura, modello n.: v. analisi non standard: I 146 a, f, 147 f. ...
Leggi Tutto
CATEGORIA:
FISICA MATEMATICA
–
STORIA DELLA FISICA
–
TEMI GENERALI
–
ALGEBRA
–
EPISTEMOLOGIA
–
METAFISICA
Robinson, Abraham
Enciclopedia on line
Logico e matematico (Waldenburg 1918 - New Haven, 1974). Prof. all'univ. di Toronto (1951) e, successivamente, a Gerusalemme, a Los Angeles e alla Yale University (dal 1967). È uno dei fondatori della [...] modelli e gli si deve la creazione dell'analisi non standard. Tra le opere: On the metamathematics of algebra (1951); Complete theories (1956); Introduction to model theory and to the metamathematics of algebra (1963); Non standard analysis (1966). ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Modello
Enciclopedia Italiana - VII Appendice (2007)
Modello
Silvano Petrarca
Il termine modello è diffusamente utilizzato per indicare un ampio insieme di costruzioni formali ottenute mediante schematizzazioni di processi, comportamenti, situazioni ecc., [...] specifiche.
Modelli in fisica
Per l'analisi di sistemi complessi (anche per sistemi fisici non è presa in considerazione e anzi sembra molto difficile che possa essere inglobata nello schema teorico su cui il m. si fonda. Il Modello Standard ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1961-1970
Storia della Scienza (2003)
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'analisi non standard. Abraham Robinson pubblica Non-standard analysis, libro in cui, a 250 anni dalla morte di Leibniz, si rende rigoroso ed efficiente ...
Leggi Tutto
Logica matematica
Enciclopedia del Novecento (1978)
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 [...] solo al calcolo differenziale e integrale ma anche ad altri settori della matematica. È questo il metodo dell'analisi non-standard introdotto da A. Robinson nel 1960.
Il linguaggio del calcolo predicativo del prim'ordine, benché adatto a molti scopi ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
insieme
Dizionario delle Scienze Fisiche (1996)
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. analisi non standard: I 145 f. ◆ I. statistico: i. di misure stazionarie, definite sulle cellette dello spazio delle fasi che identificano l’i ...
Leggi Tutto
CATEGORIA:
ALGEBRA
misura
Dizionario delle Scienze Fisiche (1996)
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 non standard: v. analisi non standard: I 146 f. ◆ [MCS] M. stazionaria: v. meccanica statistica: III 728 a. ◆ [ALG] [ANM] Teoria della ...
Leggi Tutto