euclideo
euclidèo [agg. Der. di Euclide] [ALG] [FAF] Qualifica di ente matematico o disistema ipotetico-deduttivo che soddisfi i postulati di Euclide. ◆ [ALG] Algoritmo e. delle divisioni successive: [...] 725 f. ◆ [ALG] Geometria e.: quella basata sui postulati e gli assiomidi Euclide, l'unica sino a quasi tutto il sec. 19°: v. geometria Riferimento e., o riferimento ortogonale monometrico: sistemadi riferimento, piano o spaziale, costituito da assi ...
Leggi Tutto
schema
schèma [Lat. schema, der. del gr. schèma -atos "aspetto"] [FAF] Modello convenzionale, semplificato rispetto alla realtà, di un problema, un fenomeno, un processo, un dispositivo, ecc. Gli s. [...] di un sistema materiale in cui quest'ultimo è visto come una distribuzione continua di materia secondo una determinata geometria; si contrapp. a s. particellare. ◆ [ALG] [FAF] S. diassiomi: nella logica matematica, un insieme finito diassiomi ...
Leggi Tutto
enunciato
enunciato [Der. del part. pass. enuntiatus del lat. enuntiare, comp. di ex "fuori" e nuntiare "annunciare" e quindi "annunciare pubblicamente, esternare"] [FAF] [ALG] Secondo la definizione [...] ALG] Calcolo degli e., o delle proposizioni: nella logica matematica, sistema deduttivo (costituito da un linguaggio, da un insieme diassiomi e da regole di derivazione) che, oltre ai simb. dei connettivi logici (negazione, congiunzione, alternativa ...
Leggi Tutto
incoerente
incoerènte [agg. Comp. di in- neg. e coerente "non coerente"] [FAF] Di ente, affermazione, ipotesi, ecc. che presenta contraddittorietà o incompatibilità rispetto ad assiomi o a principi di [...] clastica o piroclastica (per es., sabbia, ghiaia, pozzolana) formata da granuli non cementati. ◆ [MTR] Di unità di misura non definita in base alle unità fondamentali del sistemadi appartenenza; per es., il km/ora per la velocità è i. tra le unità ...
Leggi Tutto
L'Ottocento: fisica. La termodinamica
Olivier Darrigol
La termodinamica
Termodinamica è il nome dato da William Thomson (futuro lord Kelvin) nel 1854 alla nuova teoria meccanica del calore, fondata [...] basa su due assiomi: (1) la conservazione del calorico; (2) l'impossibilità di una specifica forma di moto perpetuo. W=−Q, e implica l'esistenza di una funzione U di due stati del sistema, che esprime il valore di W+Q per qualsiasi trasformazione che ...
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 [...] la Giornata Seconda del Dialogo sopra i due massimi sistemi del mondo di Galilei, in cui è impostata la ricerca del con l'avvertenza che, sia le definizioni sia gli assiomi, derivando dai fenomeni naturali, sono illustrabili mediante esperimenti. ...
Leggi Tutto
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 [...] o con altri enunciati. (b) In un sistema formale, l'ultima formula di una dimostrazione (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 ...
Leggi Tutto
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
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
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...