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 [...] ALG] S. misurabile e misurato: v. misura e integrazione: IV 2 b. ◆ [ALG] S. normale: s. topologico in cui è soddisfatto l'assioma di separazione, cioè in cui i punti sono insiemi chiusi e ogni coppia di insiemi chiusi disgiunti può essere separata da ...
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 [...] ogni proposizione con uno o più di questi esperimenti mediante l'aiuto di nozioni comuni redatte in forma di definizioni e assiomi ad imitazione del metodo con il quale i matematici sono soliti provare le loro dottrine" (The correspondence, I, p. 237 ...
Leggi Tutto
Euclide
Euclide [STF] [ALG] Matematico greco, vissuto ad Alessandria d'Egitto intorno al 300 a.C., che sistemò, in maniera insuperata, la matematica che s'era andata sviluppando in circa due secoli di [...] sviluppa mediante la dimostrazione di teoremi e loro conseguenze (corollari) a partire da definizioni intuitive non dimostrate (postulati e assiomi, gr. óroi). ◆ [OTT] Ottica di E.: quella esposta da E. nell'omonimo trattato, in cui sono precisati i ...
Leggi Tutto
sistema
sistè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. di assiomi: insieme degli assiomi di una teoria. ◆ [ELT] [INF] S. di calcolatori: insieme di calcolatori interconnessi tra loro ognuno dei quali può colloquiare ...
Leggi Tutto
definizione
definizióne [Der. del lat. definitio -onis, da definire (→ definito)] [LSF] Il termine, nato nella filosofia naturale (spec. nella matematica) con il signif., che ha tuttora, di "proposizione [...] può parlare del linguaggio usato nel sistema formale cui ci si riferisce; viene usata per individuare gli assiomi e le regole di inferenza del sistema, oppure per abbreviare determinate espressioni ricorrendo a espressioni più semplici appartenenti ...
Leggi Tutto
logico
lògico [agg. (pl.m. -ci) Der. del lat. logicus, dal gr. log✄ikós, a sua volta da lógos "discorso, ragio-namento"] [LSF] Che concerne la logica o che è conforme a essa come retto modo di ragionare. [...] ] Teorema l.: nella logica matematica, è un'espressione del linguaggio simbolico adottato che ha la proprietà di essere deducibile (mediante una sequenza finita di applicazioni delle regole di inferenza) da alcuni degli assiomi o teoremi precedenti. ...
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 [...] di un programma verifica la proprietà P, allora l'output verifica la proprietà Q. Hoare ha fornito anche un sistema di assiomi per la sua logica, che permette di dimostrare che un programma è corretto, nel senso che rispetta le relazioni tra input ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
La meccanica
Michele Camerota
La meccanica come scienza
Alessandro Piccolomini (1508-1579), letterato, filosofo naturale e grande divulgatore scientifico, alla metà del Cinquecento determinava l’oggetto [...] moto, nelle quali, per dimostrare li accidenti da me osservati, mi mancava principio totalmente indubitabile da poter porlo per assioma, mi son ridotto ad una proposizione la quale ha molto del naturale et dell’evidente; et questa supposta, dimostro ...
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
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 [...] divergenze sui principî base della scienza del moto: 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 che, piuttosto, si rifanno a principî estremali quali ...
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...