La grande scienza. Cronologia scientifica: 1961-1970
Storia della Scienza (2003)
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 [...] come fondamento universale per i sistemi di basi di dati. Una base di dati relazionale è simile a un modello per la logica del primo ordine: c'è un insieme di individui e un certo numero di tabelle che danno le relazioni tra gli individui. Nel 1979 ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica
Storia della Scienza (2004)
La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica
Solomon Feferman
Le scuole di filosofia della matematica
I più importanti programmi di fondazione della [...] complessiva. Il teorema di Löwenheim-Skolem, stabilito nel 1920, mostrava infatti come ogni teoria T formulata nella logica del primo ordine che ha un modello infinito deve avere un modello numerabile. In tal modo nessuna tale T potrebbe essere ...
Leggi Tutto
Logiche non standard
Enciclopedia della Scienza e della Tecnica (2007)
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 [...] l'inferenza non-monotòna in vari modi, due dei quali hanno suscitato un certo interesse. Il primo consiste nell'estendere il linguaggio della logica del primo ordine con un operatore modale M che consente di formulare regole di forma B MB′ / B′ ('Se ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
Dimostrazione, teoria della
Enciclopedia della Scienza e della Tecnica (2007)
Dimostrazione, teoria della
Jean-Yves Girard
La teoria della dimostrazione nasce negli anni Venti del Novecento come strumento di realizzazione del programma di David Hilbert per la fondazione della [...] possibilità di iterazione. Più concretamente, è la contrazione a essere responsabile dell'indecidibilità della logica del primo ordine stabilita dal teorema di Church. Senza contrazione sarebbe infatti possibile limitare il numero delle formule ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
non standard
Enciclopedia on line
Locuzione introdotta da A. Robinson nel 1960 per indicare l’analisi basata su un modello matematico in cui, utilizzando una (opportunamente modificata) logica del primo ordine, viene data una definizione [...] rigorosa del concetto di infinitesimo e quindi di infinito.
La ricerca di una corretta definizione di infinitesimo che G.W. Leibniz considerava sostanzialmente alla n. è la semplicità della struttura logica che non richiede, a differenza della ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
Tarski, Alfred
Enciclopedia on line
Logico, matematico e filosofo di origine polacca (Varsavia 1901 - San Francisco 1983), naturalizzato statunitense. Considerato uno dei massimi esponenti della Scuola logica polacca, fu autore di fondamentali [...] , nozione semantica e sintattica di definibilità; generalizzazioni della logica del primo ordine). Si è occupato inoltre di questioni di decidibilità, di logiche intuizionistiche (proponendo come matrici per il calcolo intuizionistico proposizionale ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
lambda
Enciclopedia on line
Undicesima lettera dell’alfabeto greco (maiuscolo Λ, minuscolo λ), corrispondente alla consonante latina l.
biologia Fago l. Batteriofago che ha come ospite il batterio Escherichia coli. Su di esso sono [...] procedura meccanica capace di stabilire se una proposizione logica del primo ordine è sempre vera? Il l. calcolo è basati sul l. calcolo.
medicina Punto l. Punto antropologico del cranio corrispondente all’incontro della sutura sagittale con le suture ...
Leggi Tutto
CATEGORIA:
GRAMMATICA
–
TEMI GENERALI
–
ANTROPOLOGIA FISICA
–
MICROBIOLOGIA
–
FISICA MATEMATICA
–
FISICA NUCLEARE
–
LOGICA MATEMATICA
La grande scienza. Cronologia scientifica: 1941-1950
Storia della Scienza (2003)
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 [...] dimostra che la teoria delle algebre di Boole è decidibile; cioè, esiste un algoritmo che, data una formula della logica del primo ordine nel linguaggio di tali strutture, stabilisce in un tempo finito se la formula è vera in tutte le algebre di ...
Leggi Tutto
lògica matemàtica
Enciclopedia on line
lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono [...] libere si dice formula aperta, o funzione proposizionale. Si distingue fra logica dei predicati del primo ordine e logica dei predicati del secondo ordine: in quest'ultima sono ammesse anche formule del tipo ∃ P H e ∀ P H.
Il problema dei fondamenti ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA