La civilta islamica: teoria fisica, metodo sperimentale e conoscenza approssimata. L'ottica
A. Mark Smith
Graziella Federici Vescovini
Eyal Meiron
L'ottica
L'eredità dell'ottica araba nel mondo [...] 1984) 'l'assioma degli angoli', è l'interpretazione dell'assiomadi Euclide riguardante il di intersezione gli intervalli di profondità cercati e trasportati senza fatica nel sistema già disponibile delle ortogonali orientate verso il punto di ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1981-1990
1981-1990
1981
Il sistema operativo MS-DOS. Tale sistema, realizzato dalla Microsoft e destinato a dominare nel suo settore, è utilizzato per la prima [...] ' astratto in cui gli assiomi fondamentali della geometria classica siano veri: ci sono solo 3 modelli di geometrie in dimensione 2, alla nana bianca Giclas 29-38. è il primo sistema stellare di questo genere a essere scoperto.
Generato per la prima ...
Leggi Tutto
Fisico e matematico (Woolsthorpe, Lincolnshire, 1642 - Londra 1727). Di famiglia agiata ma priva di istruzione, N. fu avviato agli studî dal ramo familiare materno, gli Ayscough (o Askew). Frequentò così [...] . Nel 1684, in seguito a una visita di E. Halley, N. diede una nuova sistemazione della meccanica celeste in base alla legge dell'inverso primo libro dimostrano, in base alle definizioni e agli assiomi premessi all'opera, le leggi del moto planetario, ...
Leggi Tutto
DE MARTINO (Di Martino), Pietro
Pietro Nastasi
Fratello di Nicola Antonio, nacque a Faicchio (Benevento) il 31 maggio 1707 da Cesare e Agata Ferrari.
Compiuta la primissima istruzione nel seminario [...] il D. a dare numerose spiegazioni delle varie "sorti di principi" (definizioni, domande, assiomi). Così a proposito della def. IV ("La linea splendore ed ornamento dell'Italia ha trovato un nuovo sistema mediante il quale si può, definire la vera ...
Leggi Tutto
struttura
struttura [Der. del lat. structura, dal part. pass. structus di struere "costruire"] [LSF] La costituzione e la disposizione degli elementi che, in rapporto correlativo o funzionale fra loro, [...] S. dissipativa: particolare configurazione ordinata che un sistema termodinamico (di qualsivoglia natura: fluido, ottico, chimico e 468 a. ◆ [PRB] Assiomidi s.: v. probabilità classica: IV 579 c. ◆ [MTR] [FAT] Costante di s. fine: una delle costanti ...
Leggi Tutto
uniforme
unifórme [agg. Der. del lat. uniformis "che ha una medesima forma, che è costantemente uguale", comp. di uni- e formis "-forme"] [ALG] [ANM] In matematica, di ente che si presenta con le stesse [...] cui è costante la velocità vettoriale), ecc. ◆ [ALG] Struttura u.: su uno spazio X, è definita da un sistema U di sottoinsiemi dell'insieme X╳X che soddisfi gli assiomi seguenti: (a) ogni insieme u∈U contiene la diagonale Δ={ (x, x): x∈X} ; (b) se u ...
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 [...] richiede l'esame di informazioni a priori attraverso un'applicazione ripetuta del teorema di Bayes, portando infine a una nuova di generalizzazione alla totalità dei casi riguardanti un fenomeno di ] Regole di i.: in un sistema deduttivo, ...
Leggi Tutto
assiomatica
assiomà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 [...] 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'ambito ...
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 [...] tutto o in parte, da giudizi ipotetici. ◆ [FAF] Sistema i.-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 ...
Leggi Tutto
monadico
monàdico [agg. (pl.m. -ci) Der. di monade] [ALG] [FAF] Algebra m.: il sistema (B,c) costituito da un'algebra di Boole B e da un'operazione c unaria su B che verifica certi assiomi, compresi [...] quelli di chiusura; è tale, per es., uno spazio topologico nel quale ogni insieme risulti contemporaneamente aperto e chiuso. ◆ [ALG] [FAF] Attributo, o predicato, m.: nella logica matematica, predicato riferibile a singoli elementi. ...
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...