La seconda rivoluzione scientifica: matematica e logica. Le logiche modali
Fabio Bellissima
Paolo Pagli
Le logiche modali
L'Organon di Aristotele, atto di nascita della logica formale, comprende, oltre [...] ormai noto che la formula vale in ogni punto di un modello ⟨W,R> se e solo se R soddisfa tale proprietà. Chiaramente, ciò che la formula asserisce (possibile implica necessario) è improponibile da un punto di vista intuitivo. In effetti, a partire ...
Leggi Tutto
algebre di von Neumann
Luca Tomassini
Un’algebra di von Neumann C è una sotto-algebra involutiva dell’algebra B(ℋ) degli operatori lineari limitati (ovvero continui) su uno spazio di Hilbert ℋ (con [...] C*-algebre esse stesse. L’equivalenza di (a), (b) e (c) è conosciuta come teorema di von Neumann: essa lega proprietà topologiche (convergenza) e algebriche. È possibile dare una definizione più astratta, dovuta a Jacques Dixmier e Shoikiro Sakai: un ...
Leggi Tutto
commutativo
commutativo [agg. Der. di commutare: → commutante] [ALG] Si dice di una struttura algebrica definita in un insieme da un'operazione binaria R tale che aRb=bRa, dove a, b sono gli elementi [...] su cui opera R. Tale proprietà c. vale, per es., per l'addizione e la moltiplicazione ordinaria, come pure per il prodotto scalare di due vettori. ◆ [ALG] Algebra c.: parte del'algebra che studia gli anelli c. e i moduli su essi; ha avuto origine ...
Leggi Tutto
affine
affine [Der. del lat. affinis "confinante", comp. di ad e fines "confini"] [ALG] Qualifica di enti che godono di affinità; per alcuni di questi enti (piano a., spazio a.) → le singole voci. ◆ [...] [ALG] Geometria a.: studio sistematico delle proprietà degli enti geometrici che rimangono invariate eseguendo su essi una qualunque affinità. ...
Leggi Tutto
Simulazione
Luigi Accardi
Mario Lucertini
Una delle maggiori innovazioni concettuali della scienza contemporanea, che coinvolge in ugual misura tutte le discipline scientifiche, è la transizione dalla [...] y e calcolo il valore di y tale che Q(x, y) sia minore di zero; posso allora concludere con certezza che x ha la proprietà P. Se però non trovo un tale y, allora non posso concludere niente e non ho risolto il problema. Questo è un algoritmo Las ...
Leggi Tutto
Introduzione. - La teoria delle c. è di recente costruzione, ma, per la sua stessa natura, è oggi già penetrata diffusamente nella matematica. Essa rappresenta, nel pensiero matematico, un momento di sintesi, [...] che permettono di unificarne i procedimenti di analisi. È così che sono venuti a crearsi dei "modelli" aventi le proprietà osservate, ma privi degli aspetti che differenziano le situazioni, e, ogni volta, adeguati "metodi" d'indagine. Questi modelli ...
Leggi Tutto
degenerazione
degenerazióne [Der. di degenere] [LSF] Processo che porta a uno stato degenere, nel quale cioè coincidano più stati consentiti per il sistema considerato: → degenere. ◆ [MCS] La situazione [...] , la meccanica statistica classica non è più affidabile e occorre utilizzare la meccanica statistica quantistica per studiare le proprietà del sistema. ◆ [FAT] D. di livelli atomici: la coincidenza in un solo livello dei 2l+1 livelli corrispondenti ...
Leggi Tutto
equiscomponibile
equiscomponìbile [agg. Comp. di equi- e scomponibile "scomponibile in parti uguali"] [ALG] Poligoni e.: se si possono pensare come somma di un numero finito di poligoni uguali. Analoga [...] definizione si può dare per i poliedri, ma mentre la proprietà di poligoni di essere e. (equiscomponibilità) s'identifica con l'equivalenza, due poliedri possono essere equivalenti (cioè avere lo stesso volume) senza che sia possibile scomporli in un ...
Leggi Tutto
Fisica
In meccanica statistica, la superficie di separazione tra due sottosistemi di un sistema che si presentano in fasi diverse. Dall’area dei c. del sistema, dalla quale dipende in alcuni casi l’energia [...] totale, si possono inferire numerose proprietà quantitative riguardo allo stato di equilibrio e all’evoluzione del sistema stesso.
informatica Estrazione dei c. Tecnica di elaborazione bidimensionale che permette di evidenziare i c. delle figure ...
Leggi Tutto
Matematico e fisico (Elberfeld 1801 - Bonn 1868), prof. nelle università di Bonn (1828-32), Berlino (1833-34), Halle (1834-36), poi ancora di Bonn, dove tenne, sino alla morte, le cattedre di matematica [...] e fisica. Effettuò importanti ricerche sulle proprietà magnetiche dei cristalli e sulla scarica elettrica nei gas rarefatti; per queste ultime ricerche si servì dei tubi che portano il suo nome e quello di H. Geissler, suo tecnico di laboratorio, che ...
Leggi Tutto
proprieta
proprietà (pop. propietà) s. f. [dal lat. propriĕtas -atis, der. di proprius «proprio»]. – 1. a. Qualità propria e particolare che un essere, un corpo, una sostanza (o anche una specie) ha per sua natura e per cui si distingue da...
catasto (ant. anche catastro e, a Venezia, catàstico) s. m. [dal gr. biz. κατάστιχον «registro», da κατά στίχον «riga per riga»]. – In origine, qualsiasi rassegna di beni, anche mobili, e di possessori, allo scopo di ripartire il carico fiscale;...