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
Procedimento logico, mediante il quale si passa dalla considerazione di casi particolari a una conclusione universale.
Nel linguaggio scientifico, in genere, modificazione che determinate proprietà di [...] di misura di B è, nel sistema internazionale SI, il tesla (1 T=1Wb/m2).
I. nucleare
Polarizzazione magnetica di le definizioni ricorsive, o almeno alcune di esse, quali assiomi. Mentre il principio di i. completa è generalmente accettato dai ...
Leggi Tutto
scienza Insieme delle discipline fondate essenzialmente sull’osservazione, l’esperienza, il calcolo, o che hanno per oggetto la natura e gli esseri viventi, e che si avvalgono di linguaggi formalizzati.
In [...] con quella dei corpi celesti, e la sistemazione da parte di Buffon e di A. Humboldt dei dati della storia naturale, , con il suo accento sulla natura convenzionale degli assiomi geometrici e sul ruolo determinante delle formulazioni ‘linguistiche’ ...
Leggi Tutto
Fisica
Giorgio Parisi
Spiegare cosa è oggi la f. e cosa la differenzia dalle altre discipline non è facile. Dare una precisa definizione di una scienza è arduo, specialmente in questi anni in cui si [...] di una scienza del 'dover essere', nel senso di seguito specificato: in una teoria fisica 'matura' si prendono le mosse da alcune leggi (oppure assiomi permette di investigare le proprietà degli atomi e delle molecole: per es., nel caso disistemi non ...
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
Meccanica quantistica
Bruno Crosignani
Eugenio Del Re
Paolo Di Porto
La meccanica quantistica può essere considerata la più efficiente descrizione della natura elaborata dall’uomo. I suoi successi [...] . Rispetto alla meccanica e all’elettromagnetismo classici, i suoi postulati (quali, per es., l’assioma secondo cui la massima conoscenza possibile di un sistema è contenuta in una funzione d’onda invece che nei valori delle grandezze caratterizzanti ...
Leggi Tutto
Nodi e fisica
Louis H. Kauffman
Nel secolo scorso lord Kelvin (William Thomson) ideò la cosiddetta teoria degli atomi vortice in cui gli atomi erano visti come mulinelli nell'etere, che si supponeva [...] ciò si esprime dicendo che VK(t) è un polinomio di Laurent in t1/2).
Assiomi per il polinomio di Jones. (a) Se due link orientati, K e K ultima analisi non lo è affatto. Prima di tutto, non è difficile sistemare le cose con un piccolo aggiustamento: ...
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
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...