analisi non standard
Enciclopedia della Matematica (2013)
analisi non standard
analisi non standard moderno capitolo dell’analisi matematica fondato negli anni Sessanta del Novecento dal matematico statunitense A. Robinson. L’analisi non standard ha alla base [...] la derivata ƒ′(x) è un numero tale che
Pur essendo inquadrabile come moderno capitolo dell’analisi matematica, l’analisi non standard ne costituisce, quindi, una sorta di rifondazione giacché recupera il concetto leibniziano di infinitesimo di cui ...
Leggi Tutto
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
funzione standard
Enciclopedia della Matematica (2017)
funzione standard
funzione standard → analisi non standard. ...
Leggi Tutto
infinito attuale
Enciclopedia della Matematica (2013)
infinito attuale
infinito attuale → analisi non standard. ...
Leggi Tutto
analisi matematica
Enciclopedia della Matematica (2013)
analisi matematica
analisi matematica settore disciplinare che studia le funzioni definite su insiemi di numeri reali o complessi a valori reali o complessi e, comunque, proprietà connesse con la nozione [...] studia le funzioni complesse di variabile complessa.
Sono capitoli dell’analisi matematica anche l’→ analisi armonica, l’→ analisi non standard e la teoria della → misura, l’→ analisi funzionale e le equazioni differenziali, anche se, per motivi d ...
Leggi Tutto
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
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