Cerca in:
logica intuizionista
Enciclopedia della Scienza e della Tecnica (2008)
logica intuizionista
Silvio Bozzi
La più studiata rivale della logica classica sin da quando fu assiomatizzata da Arend Heyting nel 1930. Già Anchei M. Kolmogorov nel 1925 e Vasili I. Glivenko nel 1929 [...] Stanislaw Jaskowski dimostra che è possibile refutare ogni non teorema utilizzando una matrice finita. Questo garantisce la decidibilità della logica proposizionale intuizionista. Negli stessi anni Gerard Gentzen introduce un nuovo tipo di calcoli ...
Leggi Tutto
CATEGORIA:
LOGICA
Łukasiewicz, Jan
Enciclopedia on line
Studioso di logica (Leopoli 1878 - Dublino 1956). Tra i maggiori esponenti della cosiddetta Scuola logica polacca, svolse importanti ricerche sulla logica aristotelica e stoica. Considerando insoddisfacente [...] dei predicati o delle classi" che si svolge nella sillogistica) e la logica megarico-stoica (in cui individua aspetti che possono riportarsi alla logica proposizionale e a temi di semiotica). Nel campo della teoria della deduzione elaborò numerosi ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
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 [...] di metamatematica (teoria assiomatica dei sistemi formali, sistemi basati sulla logica proposizionale, descrizione di sistemi) alla semantica (interpretazione del calcolo proposizionale, modelli e teoria generale dei modelli, nozioni di conseguenza ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
semantica
Enciclopedia on line
semantica Ramo della linguistica che si occupa dei fenomeni del linguaggio non dal punto di vista fonetico e morfologico, ma guardando al loro significato. Il termine fu coniato da M. Bréal nel 1883 come [...] è la nozione di soddisfacimento di una funzione proposizionale, che rappresenta una rigorosa sistematizzazione matematica della al significato e alla verità delle formule coinvolte, la s. logica è una teoria matematica del modo in cui certe forme d’ ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1971-1980
Storia della Scienza (2003)
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 [...] sta in P. L'esempio di problema NP-completo trovato da Cook è quello di decidere se una formula della logica proposizionale sia soddisfacibile. Da allora sono stati trovati migliaia di problemi NP-completi.
Pubblicato il libro di Siegel e Moser ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La scuola di Leopoli-Varsavia
Storia della Scienza (2004)
La seconda rivoluzione scientifica: matematica e logica. La scuola di Leopoli-Varsavia
Ettore Casari
La scuola di Leopoli-Varsavia
Gli inizi
La singolare vicenda intellettuale divenuta nota come 'Scuola [...] che, come quello della riduzione del numero e della configurazione degli assiomi, in particolare degli assiomi logico-proposizionali, appaiono piuttosto curiosità che non vere e proprie conoscenze.
Stanisław Leśniewski
Quando nel 1911 arrivò a ...
Leggi Tutto
CATEGORIA:
STORIA DELLA MATEMATICA
Saccheri, Giovanni Girolamo
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
Giovanni Girolamo Saccheri
Vincenzo De Risi
Il matematico Girolamo Saccheri è considerato il primo scopritore (seppure suo malgrado) delle geometrie non euclidee. Nella sua opera principale, Euclides [...] uso dei principi. Le sezioni dedicate alla logica proposizionale e alla teoria delle conseguenze sono soprattutto prova molto elegante, e assai nuova nei metodi e nella struttura logica, del fatto che se in un solo quadrilatero vale una delle ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer
Storia della Scienza (2004)
La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer
Anne L. Troelstra
L'intuizionismo di Brouwer
Nella dissertazione Over de Grondslagen der Wiskunde (I fondamenti della [...] con la validità intuizionista intuitiva.
Da osservazioni di Georg Kreisel nel 1958 si può dedurre che, per la logica proposizionale, la validità in un modello di Beth è equivalente alla validità intuitiva.
Beth e Kripke dimostrarono la completezza ...
Leggi Tutto
DE MARTINO, Pietro
Dizionario Biografico degli Italiani (1990)
DE MARTINO (Di Martino), Pietro
Pietro Nastasi
Fratello di Nicola Antonio, nacque a Faicchio (Benevento) il 31 maggio 1707 da Cesare e Agata Ferrari.
Compiuta la primissima istruzione nel seminario [...] accomuna le due operette in esame è l'ostinata insistenza del D. a voler dimostrare (anche con l'uso della logica proposizionale) che "da un'ipotesi falsa non puo mai ricavarsi un'affermazione vera" . Questo tipo di posizione, che era servito nell ...
Leggi Tutto
verita
Dizionario delle Scienze Fisiche (1996)
verita
verità [Der. del lat. veritas -atis, da verus "vero"] Tavola di v.: (a) [FTC] Modello, costituito dall'elenco di tutti i possibili stati di un sistema, per studiare l'affidabilità di esso: v. [...] proposizioni semplici che compaiono nella funzione: v. logica: III 483 d; analogamente per una funzione booleana: v. circuiti logici: I 619 b. ◆ [FAF] [ALG] Funzione di v.: nella logica proposizionale, v. logica: III 483 e. ◆ [ALG] [ELT] [FAF] Valori ...
Leggi Tutto