schema
schèma [Lat. schema, der. del gr. schèma -atos "aspetto"] [FAF] Modello convenzionale, semplificato rispetto alla realtà, di un problema, un fenomeno, un processo, un dispositivo, ecc. Gli s. [...] con un'unica formula, in cui compaiono uno o più simboli la cui precisazione porta a identificare ognuno degli assiomi. ◆ [FTC] S. funzionale: rappresenta, più che la struttura di un dispositivo, la successione delle varie unità nell'ordine che ...
Leggi Tutto
ipotetico
ipotètico [agg. (pl.m. -ci) Der. di ipotesi] [FAF] Che si fonda su un'ipotesi o che si serve della formulazione di un'ipotesi. ◆ [FAF] Giudizio i.: ogni giudizio logico del tipo "se A è, allora [...] .-deduttivo: insieme di nozioni omogenee collegate, costruito formulando una serie di ipotesi (variamente denominate e spesso chiamate assiomi e postulati) e deducendo da esse, per ragionamento logico, tutte le possibili conseguenze; è questo il modo ...
Leggi Tutto
chiusura
chiusura [Der. del lat. clausura, dal part. pass. clausus di claudere "chiudere", "atto ed effetto del chiudere" e anche "ciò con cui si chiude"] [ALG] C. algebrica: v. varietà algebrica: VI [...] che qualunque loro intorno ha intersezione non vuota con A. ◆ [ALG] C. di uno spazio topologico: è definita dai relativi assiomi di c. (v. oltre). ◆ [ALG] [FAF] C. universale di un'espressione: nella logica matematica, data un'espressione contenente ...
Leggi Tutto
enunciato
enunciato [Der. del part. pass. enuntiatus del lat. enuntiare, comp. di ex "fuori" e nuntiare "annunciare" e quindi "annunciare pubblicamente, esternare"] [FAF] [ALG] Secondo la definizione [...] e., o delle proposizioni: nella logica matematica, sistema deduttivo (costituito da un linguaggio, da un insieme di assiomi e da regole di derivazione) che, oltre ai simb. dei connettivi logici (negazione, congiunzione, alternativa, implicazione ...
Leggi Tutto
vero
véro [agg. e s.m. Der. del lat. verus] [ALG] [FAF] Nella logica matematica, un enunciato o una formula di una teoria si dice v. (simb. V) in un universo (modello della teoria) se è soddisfatta sostituendo [...] concetto sintattico di dimostrabile: un enunciato (o teorema) è dimostrabile in una teoria, se è deducibile correttamente dagli assiomi della teoria. ◆ [ASF] Di misura astrometrica che sia stata corretta da qualche effetto perturbante, per es. dalla ...
Leggi Tutto
logica
lògica [Lat. logica, dal gr. loġiké (sottinteso téchne "arte"), a sua volta da lógos "discorso, ragionamento"] [ELT] [INF] Il complesso dei circuiti logici che fanno parte di un dispositivo elettronico [...] risalire a L.E.J. Bruuwer e A. Heyting, che vede alle origini degli elementi della matematica (numeri, assiomi, teoremi, ecc.) un continuo intervento dell'intuizione, concepita come attività della mente che crea e costruisce i costituenti essenziali ...
Leggi Tutto
inferenza
inferènza [Der. del lat. inferentia, dal part. pres. inferens -entis di inferre "concludere", comp. di in- e ferre "portare"] [FAF] Ogni forma di deduzione con cui si dimostri il logico conseguire [...] campioni e limitato, mediante la stima dei parametri e il controllo delle ipotesi. ◆ [FAF] Regole di i.: in un sistema deduttivo, l'insieme delle regole secondo le quali le proposizioni possono essere dedotte dagli assiomi o da altre proposizioni. ...
Leggi Tutto
reticolo
retìcolo [Der. del lat. reticulum o reticulus, dim. di rete] [LSF] Sinon. di rete e di reticolato, usato in alcune espressioni tecniche per indicare una struttura che abbia aspetto di rete bi- [...] z; (c) (idempotenza) x⋂x=x, x⋃x=x; (d) (assorbimento) x⋂(x⋃y)=x, x⋃(x⋂y)=x. Si nota che i due assiomi di ciascuna delle quattro proprietà s'ottengono l'uno dall'altro scambiando le operazioni di unione e di intersezione; segue da ciò il principio di ...
Leggi Tutto
La seconda rivoluzione scientifica: fisica e chimica. La relativita ristretta
Arthur I. Miller
Giulio Peruzzi
La relatività ristretta
Può essere particolarmente utile studiare le origini della 'teoria [...] sono sistemi di riferimento inerziali le cui coordinate spazio e tempo si accordano con il principio di relatività e con l'assioma della luce; a questi si deve aggiungere un sistema di coordinate intermedio S′, i cui assi sono allineati con quelli di ...
Leggi Tutto
L'Ottocento: matematica. Meccanica analitica
Helmut Pulte
Meccanica analitica
La meccanica analitica è una branca della meccanica razionale la quale, dopo i primi passi compiuti nel XVII sec., ebbe [...] del parallelogramma delle forze o a entrambi. Oggi può sembrare strana l'intenzione di voler dimostrare un principio o assioma meccanico che si trova come premessa di un sistema deduttivo. Essa rivela invece una "crisi dei principî" (Bailhache 1975 ...
Leggi Tutto
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...
assiomatica
assiomàtica s. f. [dall’agg. assiomatico]. – 1. In genere, ogni dottrina degli assiomi. In partic., quel ramo delle scienze matematiche in cui si discute dei principî della matematica (in questo senso, però, il termine è sempre...