Biologia
In genetica, tratto di DNA che fa parte di un operone e condiziona la trascrizione dei geni strutturali immediatamente adiacenti (➔ operone).
Filosofia
In filosofia analitica, un’espressione [...] vero, ∃x(x+5=7), cioè «esiste un x (nell’insieme dei numeri reali), tale che x+5=7». Si dimostra che tutti i quantificatori possono ridursi ai primi due, anzi a uno qualunque di essi, in quanto valgono le due relazioni
∀x Px ↔ Ó ∃x (Ó Px),
∃x ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1951-1960
1951-1960
1951
Sui gruppi di omotopia e di omologia. In una serie di articoli (Homologie singulière des espaces fibrés) Jean-Pierre Serre fornisce [...] essere ridotta al problema di decisione della teoria dei reali. Il metodo dimostrativo usato da Tarski, l'eliminazione dei quantificatori, è uno degli strumenti più importanti della teoria dei modelli.
Teoria di Hodge. William V.D. Hodge, usando la ...
Leggi Tutto
In arte e architettura, persona od oggetto che l’artista ritrae o riproduce, oppure esemplare preparatorio dell’opera finale. Nel linguaggio scientifico, costruzione schematica, puramente ipotetica o realizzata [...] in tutti i modi possibili sugli individui del dominio della struttura e quelle vincolate nei modi consentiti dall’interpretazione dei quantificatori. Una formula di L è detta vera in un’interpretazione I del linguaggio se e soltanto se per ogni ...
Leggi Tutto
Storia dei concetti e delle tecniche nella ricerca sulle reti neurali
Jack D. Cowan
(Department of Mathematics, University of Chicago Chicago, Illinois, USA)
In questo saggio descriveremo diverse ricerche [...] chiameremo nel seguito reti MP) sono degli automi a stati finiti che realizzano la logica delle proposizioni con quantificatori, e consentono di formulare ipotesi precise sulla natura dei meccanismi cerebrali, in una forma equivalente ai programmi ...
Leggi Tutto
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 [...] asintotica positiva contiene segmenti di progressioni aritmetiche di lunghezza arbitraria.
Una procedura per l'eliminazione dei quantificatori. George E. Collins presenta una nuova procedura decisionale per la teoria dei campi realmente chiusi basata ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1961-1970
1961-1970
1961
Famiglia universale. Il giapponese Masatake Kuranishi mostra che esiste sempre un certo tipo di famiglia olomorfa di strutture complesse [...] può essere calcolato esplicitamente. Si ottiene una procedura di decisione diversa dalle procedure classiche, basate sull'eliminazione dei quantificatori. Si fa un uso cruciale del risultato di Weil sulla funzione zeta di congruenza e del teorema di ...
Leggi Tutto
quantificatore
quantificatóre agg. e s. m. [der. di quantificare]. – 1. In logica matematica, operatore che viene premesso a una variabile e che indica quanti oggetti (fra quelli che possono venire indicati dalla variabile) godono di una data...
quantificazione
quantificazióne s. f. [dall’ingl. quantification, der. di (to) quantify: v. quantificare]. – 1. L’operazione e il risultato del quantificare: q. del predicato, nella logica, teoria, elaborata soprattutto da W. Hamilton sulla...