matrice
matrice [Der. del lat. matrix -icis "utero, madre"] [LSF] Raro nel signif. di cosa da cui se ne trae un'altra, indica in genere, concret., la struttura principale di un corpo, nella quale eventualmente [...] da D. Hilbert nella teoria delle equazioni integrali). ◆ [ALG] [FAF] Nella logica matematica: (a) espressione priva di quantificatori, contraddistinta da un punto esclamativo collocato subito dopo di essa; precis., data una espressione predicativa in ...
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
lineare
lineare [agg. Der. del lat. linearis, da linea] [LSF] Inerente a una linea, in partic : (a) che è costituito o è schematizzabile da una linea (per lo più retta) o che si sviluppa prevalentemente [...] della logica matematica (e quindi anche dell'informatica) che si propone un'analisi più profonda dei connettivi e dei quantificatori (per es., i connettivi della logica l. permettono di precisare l'ordine secondo cui vanno enunciate le ipotesi di ...
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
L'Eta dei Lumi: l'avvento delle scienze della Natura 1770-1830. La fisica matematica
John L. Heilbron
La fisica matematica
1. Definizioni e ambito
L'oggetto della fisica matematica, nel periodo che [...] coefficienti di espansione sono tre o quattro nel primo e arrivano fino a sei nel secondo.
Un altro indicatore della quantificazione della fisica sono i libri di testo. Bastano alcuni passaggi di un esempio anche poco felice come la Introduction to ...
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...