assiomatizzazione
assiomatizzazióne [Atto ed effetto dell'assiomatizzare "procedere per assiomi", da assioma] [FAF] A. di una teoria: formulazione di alcune proprietà della teoria dalle quali tutte [...] le altre possono essere dedotte: v. assiomatizzazione ...
Leggi Tutto
spazio Sostantivo polisenso che designa in generale un’estensione compresa tra due o più punti di riferimento. Può essere variamente interpretato a seconda che lo si consideri dal punto di vista filosofico, [...] Riemann lo s. è una struttura tridimensionale, ma il sistemadiassiomi della sua geometria non è dato a priori. Riuscendo a scoprire altri tipi di s. prima non previsti, il metodo analitico di Riemann si è mostrato più fecondo dei metodi sintetici ...
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 [...] e tutte le altre ne discendono. Esiste più di un sistemadiassiomi per la p. e ciascuno di questi sistemi conduce a un modello matematico diverso. Gli assiomi che definiscono i vari modelli probabilistici si suddividono nelle categorie seguenti ...
Leggi Tutto
La scienza bizantina e latina: la nascita di una scienza europea. Ottica, scienza dei pesi e cinematica
Katherine Tachau
John D. North
Johannes M.M.H. Thijssen
Ottica, scienza dei pesi e cinematica
'Perspectiva': [...] essere utili e coerenti.
Una ragione dell'importanza di questo sistemadiassiomi è che alcuni commentatori moderni hanno sostenuto di trovarvi un'anticipazione della definizione attuale del lavoro di una forza in questa semplice forma: il lavoro ...
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 [...] programma verifica la proprietà P, allora l'output verifica la proprietà Q. Hoare ha fornito anche un sistemadiassiomi per la sua logica, che permette di dimostrare che un programma è corretto, nel senso che rispetta le relazioni tra input e output ...
Leggi Tutto
L'Eta dei Lumi: matematica. Meccanica e ingegneria
Massimo Corradi
Meccanica e ingegneria
Alla fine del XVII sec. e forse anche agli inizi di quello successivo, prima della formalizzazione del calcolo [...] questa nuova visione 'matematica' della realtà della Natura. La messa a punto di un sistemadiassiomi in quanto nozioni generali evidenti di per sé e non dimostrabili, che stiano a fondamento della meccanica e che dunque diano una definizione ...
Leggi Tutto
assiomatico
assiomàtico [agg. (pl.m. -ci) Der. del gr. axiomatikós] [ALG] Metodo a.: v. assiomatizzazione: I 181 a. ◆ [ALG] [FAF] Trattazione a. (di una data questione): nella logica matematica, la trattazione [...] in cui si astrae da ogni definizione costruttiva degli enti che intervengono nella questione e si considerano solo talune loro proprietà espresse formalmente in un sistemadiassiomi, dai quali, per via puramente logica, si deducono nuove proprietà. ...
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 [...] ricostruzione e lo sviluppo). La valuta chiave del sistemadi Bretton Woods divenne il dollaro, cioè la moneta che la teoria si propone, implicitamente presenti già nel s. diassiomi. Nel s. ipotetico-deduttivo spesso è utile introdurre altri concetti ...
Leggi Tutto
sistemasistèma [Der. del lat. systema, dal gr. sy´stema "insieme di cose", che è da synístemi "riunire"] [LSF] (a) Oggetto che, pur essendo costituito da più elementi interconnessi e interagenti tra [...] : III 14 c. ◆ [MCC] S. del secondo ordine: v. sistemi dinamici: V 291 f. ◆ [ALG] [FAF] S. diassiomi: insieme degli assiomidi una teoria. ◆ [ELT] [INF] S. di calcolatori: insieme di calcolatori interconnessi tra loro ognuno dei quali può colloquiare ...
Leggi Tutto
fìsica matemàtica Disciplina scientifica che si propone di descrivere in termini matematici rigorosi i fenomeni fisici.
Abstract di approfondimento da Fisica matematica di Gianfausto Dell’Antonio (Enciclopedia [...] funzioni a quadrato integrabile su R3n, se si considera un sistemadi n particelle in dimensione spaziale 3. Nel vuoto, ciascuna assiomi, le funzioni W(x1,…,xn)5(w,f(x1),f(xn)w) (funzioni di Wightman) hanno proprietà di invarianza, di positività ...
Leggi Tutto
sistema
sistèma s. m. [dal lat. tardo systema, gr. σύστημα, propr. «riunione, complesso» (da cui varî sign. estens.), der. di συνίστημι «porre insieme, riunire»] (pl. -i). – 1. Nell’ambito scientifico, qualsiasi oggetto di studio che, pur...
assioma
assiòma s. m. [dal lat. tardo axioma -ătis, gr. ἀξίωμα -ατος der. di ἄξιος «degno»] (pl. -i). – Nel linguaggio com., verità o principio che si ammette senza discussione, evidente di per sé. In filosofia, principio certo per immediata...