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 [...] enunciati primitivi, detti assiomi o postulati. In un sistemaassiomatico moderno la distinzione fra t. e assiomi non è però netta e assoluta, in quanto il sistema costituisce un insieme organico di enunciati nel quale si può, in generale, cominciare ...
Leggi Tutto
assiomaticoassiomà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 sistema di assiomi, dai quali, per via puramente logica, si deducono nuove proprietà. ...
Leggi Tutto
La Rivoluzione scientifica: i domini della conoscenza. Meccanica e scienza del moto
Domenico Bertoloni Meli
Meccanica e scienza del moto
Il contesto intellettuale, istituzionale e sociale
Scrivere [...] dei Principia sono in gran parte strutturati in maniera assiomatica, pressappoco come le parti scritte in latino dei pianeti. A tale scopo, Newton traccia un modello semplificato del Sistema solare copernicano, con il centro in S, un cerchio esterno ...
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 [...] allora l'output verifica la proprietà Q. Hoare ha fornito anche un sistema di assiomi per la sua logica, che permette di dimostrare che di Hoare è alla base dell'approccio assiomatico alla semantica dei linguaggi di programmazione.
Classificazione ...
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 [...] tra loro il raggio di curvatura ‒ per il quale scrive l'equazione in un sistema cartesiano di riferimento (O,y,z) nella forma:
dove y=y(z) è Lagrange e ripresa più tardi dai sostenitori dell'assiomatica ‒, si configura come un importante e vasto ...
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 [...] si manifestano come se egli stesso fosse in quiete rispetto all'onda luminosa: è quanto accade, assiomaticamente, per le leggi della meccanica nei sistemi di riferimento inerziale.
Le affermazioni (a) e (b) sono tra loro contraddittorie. Sia v la ...
Leggi Tutto
L'Ottocento: fisica. La nascita della meccanica statistica
Olivier Darrigol
Jürgen Renn
La nascita della meccanica statistica
Modelli meccanici dei fenomeni termici
Con la locuzione 'meccanica statistica' [...] fornisce la frazione di tempo che, dopo un intervallo molto lungo, un sistema di N atomi puntiformi trascorre dentro il volume elementare dσ=d3r1,d3r2,…, insiemi; il suo approccio era essenzialmente assiomatico.
Einstein, che non conosceva i ...
Leggi Tutto
La Rivoluzione scientifica: i domini della conoscenza. La sintesi newtoniana
Maurizio Mamiani
La sintesi newtoniana
Le opere maggiori di Newton
Isaac Newton rese pubbliche due sole opere, destinate [...] di questo metodo combinato. La struttura dei Principia è assiomatico-deduttiva, nel senso che Newton aveva indicato a Oldenburg ) introduce un'ipotesi nel Libro III secondo cui: "il centro del sistema del mondo è in quiete" (ibidem, p. 586), e ne ...
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 [...] razionale aveva il compito di presentare il complesso dei risultati noti sull'equilibrio e il moto di sistemi in una forma assiomatico-deduttiva. Tali principî, dunque, non dovevano soltanto fornire equazioni per la quiete e il moto di questi ...
Leggi Tutto
assiomaticaassiomàtica [Der. dell'agg. assiomatico] [FAF] (a) In genere, ogni dottrina degli assiomi. (b) In partic., quel ramo delle scienze matematiche in cui si discute dei principi della matematica [...] particolari enti concreti, e un'a. astratta, o formale, in cui gli assiomi non sono che quegli elementi di un sistema formalizzato da cui si deducono teoremi secondo date regole di inferenza. (c) Con altro signif., tendenza al formalismo puro, nell ...
Leggi Tutto
assiomatico
assiomàtico agg. [dal gr. ἀξιωματικός] (pl. m. -ci). – Di assioma, che ha carattere di assioma, quindi, in genere, evidente, indiscutibile: verità a.; principî assiomatici. In logica matematica, trattazione a. (di una data questione),...
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...