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
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
spazio
spàzio [Der. del lat. spatium, probab. da patere "essere aperto"] [FAF] Con signif. intuitivo astratto e assoluto, il luogo illimitato in cui tutti gli oggetti materiali appaiono collocati, di [...] , assume un signif. non più assoluto, ma relativo al particolare tipo di geometria che si intende sviluppare, ed è definito in base al sistemadiassiomi scelto: si parla così di s. euclideo, non euclideo, proiettivo, ecc., a seconda che ci si ...
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
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
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 [...] di un dato corpo sospendendo a un sistemadi carrucole un peso pari a un sesto di quello di quattro libbre all'altezza EF di una tesa. È difficile contestare questo assioma, se si considera che B può essere pensato come composto da quattro corpi di ...
Leggi Tutto
La civilta islamica: teoria fisica, metodo sperimentale e conoscenza approssimata. Statica
Fayza Bancel
Mariam Rozhanskaya
Statica
La statica è quella parte della meccanica che si occupa dell'equilibrio [...] un altro risultato che Archimede afferma di aver dimostrato, secondo cui il baricentro di un sistemadi due corpi si trova sulla retta che dei loro sforzi.
La nozione di momento nella statica araba
Gli assiomidi Archimede e il principio della leva ...
Leggi Tutto
L'Eta dei Lumi: la fine della conoscenza naturale 1700-1770. Mathematica mixta
Curtis Wilson
Niccolò Guicciardini
Alan E. Shapiro
Mathematica mixta
Astronomia
di Curtis Wilson
Nel XVIII sec. l'accuratezza [...] risoluzione di un sistemadi equazioni; nel 1740 egli trasformò il metodo in un procedimento di correzione da un lato i newtoniani che fanno affidamento sulle tre "leggi o assiomi del moto" con cui si aprono i Principia, dall'altro i continentali ...
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 [...] e k(ξ,η,ζ,τ) sono sistemidi 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 sistemadi coordinate intermedio S′, i cui assi sono allineati ...
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...