Cerca in:
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 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 sottoinsiemi chiusi di uno ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
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 [...] veniva indicata da Jaakko Hintikka, Stig Kanger e Richard M. Montague. Nel 1959 Saul Kripke dimostrava un risultato di completezza e decidibilità per i tre sistemi modali più forti: KT, S4, S5. L'idea su cui si regge la nuova semantica ‒ detta ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
Questioni in tema di rito abbreviato
Il Libro dell'anno del Diritto 2016
Questioni in tema di rito abbreviato
Vania Maffeo
Le novità che hanno di recente interessato la disciplina del giudizio abbreviato sono tutte di matrice giurisprudenziale. Le Sezioni Unite si sono interessate [...] relativa richiesta non sia stata avanzata in forma condizionata, e ciò per compensare l’eliminazione del previo vaglio di decidibilità allo stato degli atti.
La focalizzazione
La Corte di cassazione è stata di recente chiamata ad intervenire, nell ...
Leggi Tutto
CATEGORIA:
DIRITTO PENALE E PROCEDURA PENALE
Mostowski
Enciclopedia della Matematica (2013)
Mostowski
Mostowski Andrzej (Leopoli, oggi Lviv, Ucraina, 1913 - Vancouver 1975) matematico e logico polacco. Studiò all’università di Varsavia negli anni in cui vi insegnavano K. Kuratowski, A. Lindenbaum [...] ’università di Varsavia, si occupò di logica e teoria dei modelli, dando contributi notevoli in teoria della ricorsività e della decidibilità. In ambito logico si deve a lui, al matematico J. Barwise e al linguista computazionale R. Cooper la nozione ...
Leggi Tutto
enumerabile
Enciclopedia della Matematica (2013)
enumerabile
enumerabile termine che si riferisce a un insieme di cui sia possibile elencare tutti gli elementi in un dato ordine. Tale insieme deve quindi essere finito o numerabile, ma ciò non è sufficiente. [...] formali, un insieme è enumerabile se risulta essere l’immagine di una funzione calcolabile. L’aggettivo è utilizzato anche nel contesto della decidibilità dell’appartenenza di un elemento a un insieme infinito (→ insieme ricorsivamente enumerabile). ...
Leggi Tutto
formula decidibile
Enciclopedia della Matematica (2017)
formula decidibile
formula decidibile in un calcolo logico, formula ben formata a tale che o essa stessa o la sua negazione ￢a (si legge «non a») siano dimostrabili formalmente in tale calcolo. Ciò equivale [...] dalla formula è vera, e un altro valore, per esempio 0, se è falsa. Per questo motivo il problema della decidibilità è strettamente collegato al problema della calcolabilità di una funzione. Se una formula è decidibile allora è possibile definire una ...
Leggi Tutto
Modelli, Teoria dei
Enciclopedia della Scienza e della Tecnica (2007)
Modelli, Teoria dei
Silvio Bozzi
Malgrado le modeste origini che ne hanno segnato la nascita, la teoria dei modelli ha sviluppato nel corso del tempo idee e metodi che l'hanno resa uno dei settori più [...] B′(x1,…,xn) con libere le stesse variabili per cui
[18] T ' ∀x1,...,∀xn (B(x1,...,xn) ∣ B′(x1,...,xn)) .
La decidibilità degli enunciati privi di quantificatori è immediata se le strutture generate dai denotati dei termini chiusi in ogni modello sono ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
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 [...] logica classica e intuizionista – che rendono molto più facile confrontare dimostrazioni classiche e intuizioniste, ottenendo oltre alla decidibilità proposizionale un risultato già provato da Gödel per cui se si traducono nel modo ovvio i connettivi ...
Leggi Tutto
CATEGORIA:
LOGICA
ricorsività
Enciclopedia on line
ricorsività La proprietà di essere ricorsivo, cioè ricorrente. Teoria della r., o della ricorsione, o computabilità, la disciplina che si occupa di fornire una caratterizzazione matematica del concetto [...] se esiste un procedimento per raggiungere in un numero finito di passi qualunque elemento di I). I concetti di decidibilità, costruibilità e computabilità sono così strettamente collegati che, non appena si riesca a precisarne uno, gli altri due ...
Leggi Tutto
CATEGORIA:
TEMI GENERALI
La grande scienza. Cronologia scientifica: 1951-1960
Storia della Scienza (2003)
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 [...] molte questioni di economia, conseguendo il premio Nobel 1994 per questa disciplina.
La decidibilità della geometria elementare. A. Tarski dimostra la decidibilità della teoria del campo reale, e quindi anche della geometria elementare, la quale ...
Leggi Tutto