La grande scienza. Cronologia scientifica: 1971-1980
1971-1980
1971
I problemi NP-completi. L'informatico americano Stephen Cook dà il primo esempio di problema algoritmico NP-completo. La classe NP [...] MeV, di una famiglia di mesoni pesanti composti da una coppiadi quark-antiquark, di spin isotopico I=0, numero quantico di spin J Bardeen, USA, University of Illinois, Urbana, Leon Neil Cooper, USA, Brown University, Providence, Rhode Island, e John ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1941-1950
1941-1950
1941
Le successioni esatte. Introdotte in una nota sui gruppi di coomologia (priva di dimostrazioni) dal polacco Witold Hurewicz ed estensivamente [...] di teoria (co-)omologica a partire da 4 assiomi: di omotopia, della successione esatta della coppia, di excissione e di dimensione.
Linguaggio di assorbita nella generale teoria BCS (Bardeen-Cooper-Schrieffer) della superconduzione.
L'effetto ...
Leggi Tutto
Logiche non standard
Claudio Pizzi
Alcune famiglie di logiche non standard sono costituite da logiche che sono estensioni assiomatiche di quella standard, mentre altre constano di logiche rappresentabili [...] è stata compiuta da Clarence I. Lewis e Cooper H. Langford in Symbolic logic (1932). Il cui W è un insieme non vuoto di mondi, R una relazione riflessiva su W, V è una funzione che associa a coppiedi proposizioni e mondi un valore nell'insieme ...
Leggi Tutto
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 [...] situazione metalinguistica classica. La novità è costituita dalla presenza di una relazione binaria R tra gli oggetti di W, chiamata 'relazione di accessibilità'. Un modello modale è infatti definito come una coppia M=⟨W,R>, vale a dire un insieme ...
Leggi Tutto
Modelli, Teoria dei
Silvio Bozzi
Malgrado le modeste origini che ne hanno segnato la nascita, la teoria dei modelli ha sviluppato nel corso del tempo idee e metodi che l'hanno resa uno dei settori più [...] Skolem e poi applicato, prima dell'intervento di Tarski, da Cooper H. Langford (1927) a diverse dire se per ogni M0 immergibile in un modello di T e ogni coppia M1 e M2 di modelli di T che siano entrambi estensioni di M0 si ha
[22] M1 ' A[a1,...,an ...
Leggi Tutto
famìglia s. f. [lat. famĭlia, che (come famŭlus «servitore, domestico», da cui deriva) è voce italica, forse prestito osco, e indicò dapprima l’insieme degli schiavi e dei servi viventi sotto uno stesso tetto, e successivamente la famiglia nel...
interferenza
interferènza s. f. [dal fr. interférence, che è dall’ingl. interference, propr. «incrocio, conflitto (di interessi, ecc.)», der. di (to) interfere: v. interferire]. – 1. Nel linguaggio scient. e tecn., il sovrapporsi di due fenomeni...