teorema
teorèma [Der. del lat. theorema, dal gr. theórema "ricerca, meditazione"] [FAF] (a) Nelle scienze deduttive (tipic., nella matematica), ogni enunciato che può essere dedotto logicamente dagli [...] (detta anche enunciato dimostrabile), cioè l'ultima di una sequenza finita di formule tali che ciascuna di esse o è un assioma o è una conseguenza immediata di formule precedenti ottenuta in base a una delle regole di inferenza. ◆ [MCQ] T. asintotico ...
Leggi Tutto
deduzione
deduzióne [Der. del lat. deductio -onis, da deducere "dedurre", comp. di de- "da" e ducere "trarre"] [LSF] Una proposizione, la verità o il giudizio che si deduce, con il metodo deduttivo, [...] anche derivazione o dimostrazione) con la quale, in un sistema deduttivo, si ottiene una certa espressione da un dato assioma attraverso un numero finito di altre espressioni, tutte facenti parte dello stesso sistema. ◆ [ALG] [FAF] Teorema di d., o ...
Leggi Tutto
riducibilità In analisi vettoriale due sistemi di vettori applicati (per es., due sistemi di forze) si dicono mutuamente riducibili se si può passare dall’uno all’altro con sole operazioni elementari (➔ [...] non sufficiente) è che essi siano complanari e che le loro rette di applicazione s’incontrino in un punto.
In logica matematica l’assioma di r. fu introdotto da B. Russell per superare alcune difficoltà che si presentavano nella teoria dei tipi; tale ...
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
La seconda rivoluzione scientifica: introduzione. Bohr ed Einstein: fenomeni e realta fisica
Sandro Petruccioli
Bohr ed Einstein: fenomeni e realtà fisica
Gli storici della scienza hanno tentato diverse [...] si trattava di riportare alla coscienza alcuni preconcetti, e di riconoscere sia che essi hanno svolto il ruolo di assiomi per particolari raffigurazioni teoriche della Natura, sia che è arbitrario difenderne la validità assoluta, una volta che un ...
Leggi Tutto
L'evoluzione temporale dei sistemi - in particolare di quelli deterministici, cioè tali che la conoscenza del sistema a un dato istante ne determina tutta l'evoluzione futura - è stata negli ultimi decenni [...] di matematici dell'Unione Sovietica, costruirono la teoria dei sistemi dinamici uniformemente iperbolici (detti anche sistemi di Anosov) o assioma A. In tali sistemi la dinamica asintotica si svolge su un insieme limite nello spazio delle fasi il cui ...
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 [...] , nel tentativo di formulare questa nuova visione 'matematica' della realtà della Natura. La messa a punto di un sistema di assiomi in quanto nozioni generali evidenti di per sé e non dimostrabili, che stiano a fondamento della meccanica e che dunque ...
Leggi Tutto
Formalismo lagrangiano
Luca Tomassini
Un approccio alla meccanica newtoniana sviluppato da Joseph Lagrange per superare due delle sue principali limitazioni: da un lato l’estrema difficoltà nel trattare [...] , compresa la stessa meccanica hamiltoniana. Viceversa, le equazioni di Lagrange possono essere ottenute a partire da un singolo assioma, detto principio di minima azione e introdotto da William R. Hamilton nel 1823. Si tratta del più importante ...
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
Chimico e fisico (Torino 1776 - ivi 1856). Tra i fondatori della moderna teoria atomica, nel 1811 formulò una delle ipotesi fondamentali della chimica moderna, quella che stabiliva che volumi uguali di [...] fare eccezione troppo rilevante i corpi composti, egli superò la difficoltà con un'altra ipotesi, divenuta poi assioma della chimica moderna, che completava la prima: contro il presupposto allora comunemente accettato, dell'indivisibilità della ...
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...
scelta
scélta s. f. [der. di scelto, part. pass. di scegliere]. – 1. a. Libero atto di volontà per cui, tra due o più offerte, proposte, possibilità o disponibilità, si manifesta o dichiara di preferirne una (in qualche caso anche più di una),...