Logica e leggi del pensiero
Storia della civiltà europea a cura di Umberto Eco (2014)
Claudio Fiocchi
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
Gli straordinari sviluppi della logica dell’Ottocento vanno visti alla luce della coeva [...] a essa esterni e superiori, non è possibile l’isolamento del linguaggio della logica del primo ordine (che quantifica su variabili individuali del dominio) da quello della logica di ordine superiore (che quantifica anche su predicati), e, soprattutto ...
Leggi Tutto
L’informatica teorica
Storia della civiltà europea a cura di Umberto Eco (2014)
Giorgio Strano
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
Negli anni Trenta del Novecento i logici riescono a dare uno statuto matematico alla [...] complessità può essere fatta risalire a una lettera di Gödel del 20 marzo 1956 a John von Neumann, nella quale si chiedeva se un problema di dimostrabilità nella logica del primo ordine è risolvibile in tempo lineare o quadratico. L’origine ufficiale ...
Leggi Tutto
sistema formale
Dizionario di filosofia (2009)
sistema formale
Sistema costituito da un linguaggio formale e un apparato deduttivo. Un esempio di s. f. è quello K per la logica proposizionale classica dato dalla coppia (LK; DK) dove LK è il linguaggio [...] es., una s. f. con cinque connettivi: ¬, ∧, ∨, →, ↔); così come è possibile costruire s. f. per la logica del primo ordine, per quella del secondo ordine e così via, sia classiche sia non classiche, così come s. f. per specifiche teorie matematiche ...
Leggi Tutto
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
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
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
MODELLI, Teoria dei
Enciclopedia Italiana - IV Appendice (1979)
MODELLI, Teoria dei (App. III, 11, p. 139)
Giulio Supino
Alberto Pasquinelli
Aldo Marruccelli
In questi ultimi 15 anni (1960-75) la t. dei m. si è sviluppata secondo due ordini di idee del tutto opposti. [...] ordinaria addizione. I m. di G sono i gruppi.
Caratterizzazione e completezza. - Un linguaggio del prim'ordine L′ si dice un'estensione del linguaggio L se tutti i simboli non logici di L appartengono anche a L′. Una teoria T′ si dice un'estensione o ...
Leggi Tutto
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
Il teorema di Gödel ovvero i teoremi limitativi dell’aritmetica
Storia della civiltà europea a cura di Umberto Eco (2014)
Maria Conforti
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
I teoremi d’incompletezza di Gödel del 1931 sono i risultati più profondi e spettacolari [...] formale per l’aritmetica, cioè il cuore stesso della matematica. Entrambi i problemi furono risolti – positivamente per la logica del primo ordine (1930), ma negativamente per l’aritmetica (1931) – nel giro di un paio d’anni dal giovane austriaco ...
Leggi Tutto
teorema
Enciclopedia della Matematica (2013)
teorema
teorema in matematica e in logica, enunciato per il quale esiste una dimostrazione a partire da un insieme di → assiomi; esso può cioè essere dedotto da tali assiomi attraverso regole di deduzione [...] dunque di una nozione relativa a un determinato sistema assiomatico; se questo è formalizzato nell’usuale logica del primo ordine, tale nozione di teorema di natura sintattica coincide con quella alternativa di natura semantica secondo la quale ...
Leggi Tutto