calcolabilità
Fabrizio Luccio
La teoria che studia la possibilità di calcolare una funzione dagli interi sugli interi mediante un modello astratto di computazione come per es. la macchina di Turing. [...] Oltre al suo interesse teorico, l’importanza di questa disciplina è legata alla determinazione dei limiti alla risolubilità di un problema mediante un calcolatore. Le basi teoriche furono poste nei primi ...
Leggi Tutto
Henon Michel
Hénon 〈henòn〉 Michel [STF] (n. Parigi 1931) Astronomo nell'Osservatorio di Nizza. ◆ [MCS] Hamiltoniana di H.-Heiles e modello di H.-Heiles: v. equilibrio statistico, simulazione numerica [...] dell'avvicinamento all': II 488 a, 487 f ...
Leggi Tutto
Ising Ernest
Ising 〈ising〉 Ernest [STF] (n. Colonia 1900 nat. SUA) Prof. di fisica teorica nell'univ. di Berlino (fino al 1938), poi nella Bradley Univ. di Peoria, Illinois (1948). ◆ [MCS] Modello bidimensionale [...] tra loro: v. fase, meccanica statistica delle transizioni di: II 530 d. In una o due dimensioni tale modello è risolubile esattamente, mentre in tre dimensioni lo è, allo stato attuale della ricerca, soltanto numericamente. ◆ [MCS] Reticolo ...
Leggi Tutto
Alla parola affidabilità vengono di norma attribuiti tre diversi significati. Il primo è quello di caratteristica di un'unità tecnologica (sistema o componente) di possedere e conservare nel tempo le qualità [...] t)(a t)k/k!; da funzioni m(t)=a e M(t)=a t; e da tempi tra guasti successivi egualmente distribuiti secondo il modello esponenziale F(t)=1-exp(−a t), cui corrisponde un tempo medio tra guasti pari a 1/a (noto nella letteratura anglosassone come MTBF ...
Leggi Tutto
due
due [Der. del lat. duo, f. duae] [MCS] Funzione di correlazione a d. punti: v. ordine: IV 313 c. ◆ [FBT] Modello dei d. fluidi: v. elio liquido: II 393 e. ◆ [MCC] Problema classico dei d. corpi: [...] la determinazione del moto di due corpi soggetti soltanto alla mutua attrazione gravitazionale: v. meccanica celeste: III 665 a. ◆ [RGR] Problema relativistico dei d. corpi: v. gravitazionale, moto relativistico: ...
Leggi Tutto
La grande scienza. Geometria non commutativa
Alain Connes
Geometria non commutativa
Se si pensa che la geometria sia strettamente legata al nostro modello di spazio-tempo, allora la teoria generale [...] con accoppiamento minimale. Come recuperare questo funzionale dell'azione che contiene sia il termine di Einstein-Hilbert sia il Modello standard? La risposta è molto semplice: la 'parte fermionica' di questa azione si usa per determinare una terna ...
Leggi Tutto
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 [...] relazioni di accessibilità, l'enunciato sarà accettabile, in altri no. L'enunciato α→□◇α, che caratterizza S5, vale in ogni punto di un modello se e solo se R è simmetrica.
Se riteniamo che, dati due mondi w e u, se u è concepibile da w allora w ...
Leggi Tutto
realizzazione
realizzazióne [Atto ed effetto del realizzare "rendere reale, fare", da reale] [ALG] [FAF] Nella logica matematica è, talvolta sinon. di modello. ◆ [ELT] Nella teoria dei sistemi, la determinazione [...] di una struttura del sistema che sia compatibile con un suo assegnato comportamento esterno: v. sistemi, teoria dei: V 321 e. ◆ [ALG] [FAF] R. di una teoria formale: nella logica matematica, l'interpretare ...
Leggi Tutto
La b. si occupa dell'applicazione di metodi matematici per descrivere dal punto di vista qualitativo e quantitativo il comportamento di sistemi biologici. A tal fine il compito del biomatematico consiste [...] di ottimizzazione e di controllo.
Biomatematica e medicina
Il mondo biomedico non è estraneo al concetto di modello, anche se per medici e biologi modello è sinonimo di esperimento, sia esso in vitro, ex vivo o in vivo. Infatti anche nella ricerca ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'economia matematica 1870-1950
Angelo Guerraggio
L'economia matematica 1870-1950
Di matematica sociale comincia a parlare Condorcet nella Francia [...] dei beni), α e β, rispettivamente saggio di crescita e saggio di profitto. L'esistenza del punto di equilibrio per il modello viene dimostrata riducendo la questione a un problema di minimax e questo, a sua volta, a un problema di punto fisso. Viene ...
Leggi Tutto
modello
modèllo s. m. [lat. *modĕllus, dim. di modŭlus: v. modulo]. – 1. a. In genere, qualsiasi oggetto reale che l’artista si propone di ritrarre, o che un artigiano, un operaio abbia dinanzi a sé per costruirne un altro uguale o simile,...
modella
modèlla s. f. [femm. di modello]. – Donna che, come attività professionale, posa come modello per opere artistiche figurative o fotografiche, generalm. di nudo: fare la m.; essere la m. di un pittore, di uno scultore; fare da m. a...