Cerca in:
Kleene, Stephen Cole
Enciclopedia on line
Matematico e logico matematico statunitense (Hartford, Connecticut, 1909 - Madison, Wisconsin, 1994). Dal 1935 al 1979 prof. all'univ. di Wisconsin, a Madison; dal 1969 fu membro della National academy [...] e introdusse le funzioni parziali ricorsive per le quali dimostrò il teorema di recursione. Stabilì, per i predicati dell'aritmetica, una gerarchia a seconda del minimo numero di quantificatori alternati (esistenziale e universale) necessarî per ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Fuzzy
Enciclopedia della Scienza e della Tecnica (2007)
Fuzzy
Settimo Termini
L'aggettivo fuzzy − che potrebbe essere reso in italiano con sfocato o sfumato ma solitamente non viene tradotto − è usualmente associato a sostantivi quali insieme, logica, sistema.
L'aspetto [...] i quali esiste una vastissima letteratura.
La teoria di Lotfi A. Zadeh può essere vista come un modo di trattare i predicati vaghi, che hanno sempre posto molti problemi a causa della loro elusività e che hanno spinto Gottlob Frege a espungerli dall ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
Thue, Axel
Enciclopedia on line
Matematico norvegese (n. 1863 - m. 1922), prof. all'univ. di Oslo. Le sue ricerche vanno dalla meccanica all'algebra e alla logica matematica. Tra le sue pubblicazioni: Über Annäherungswerthe algebraischer [...] di Thue (insiemi finiti e non vuoti di coppie ordinate di parole su determinati alfabeti) si è potuta dimostrare la non risolubilità del problema delle parole per i semigruppi o problema di Thue, e dei problemi di decisione del calcolo dei predicati. ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Ł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 [...] . ha svolto ricerche storiche, specie sulla logica antica, giungendo a una netta distinzione tra la logica peripatetica ("logica dei predicati o delle classi" che si svolge nella sillogistica) e la logica megarico-stoica (in cui individua aspetti che ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
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 [...]
[3] ∃P∀x[P(x)⇔φ(x)],
dove '∃' sta per 'esiste', '∀' per 'per ogni', '⇔' per 'se e solo se', e dove la variabile predicativa 'P' non compare in φ. In secondo luogo, ciascuna funzione proposizionale φ(x) determina una classe
(scritta {x∣φ(x)} in un ...
Leggi Tutto
teoremi di indecidibilita
Enciclopedia della Scienza e della Tecnica (2008)
teoremi di indecidibilità
Silvio Bozzi
In logica matematica, risultati che affermano che una data teoria formalizzata T non è decidibile, vale a dire non ammette un algoritmo in grado di stabilire in [...] ogni teoria, di qualunque tipo di linguaggio, presentabile in modo ricorsivo in cui risultino rappresentabili funzioni e predicati ricorsivi e si possa aritmetizzare la sintassi della teoria medesima. Il fatto che Q sia finitamente assiomatizzata ci ...
Leggi Tutto
CATEGORIA:
LOGICA
Casari, Ettore
Enciclopedia on line
Logico e filosofo della matematica italiano (Smarano 1933 - Firenze 2019); prof. di filosofia della scienza presso l'Università di Firenze dal 1967, dal 1998 al 2006 ha insegnato presso la Scuola normale [...] dedicati alla logica dei comparativi e alle teorie logiche di B. Bolzano), ha inoltre pubblicato: Logica dei predicati (1957); Lineamenti di logica matematica (1959); Questioni di filosofia della matematica (1964); Introduzione alla logica (1997); La ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
CHURCH, Alonzo
Enciclopedia Italiana - IV Appendice (1978)
Logico matematico statunitense, nato a Washington il 14 giugno 1903. Studiò a Princeton, dove ottenne nel 1927 il Ph. D., nel 1929 un incarico di assistente di matematica, e dove è stato dal 1939 al 1947 [...] ). Il C. è stato il primo a dimostrare (teorema di C.) che il problema della decisione per la logica dei predicati (anche solo dei prim'ordine) non è risolvibile ricorsivamente. Ha anche studiato questioni relative alla teoria dei tipi, ai rapporti ...
Leggi Tutto
formalizzazione della vaghezza
Enciclopedia della Scienza e della Tecnica (2008)
Formalizzazione della vaghezza
Settimo Termini
Il problema della formalizzazione della vaghezza pone domande innovative al confine tra problemi concettuali e problemi tecnici. In particolare ci chiediamo [...] troppo semplice perchè possa riuscire a carpire aspetti essenziali di una nozione estremamente sottile e sfuggente come quella di predicato vago (non a caso espulsa da Gottlob Frege dal dominio della logica). Si ha l’impressione che l’impostazione ...
Leggi Tutto
CATEGORIA:
LOGICA
semantica
Dizionario delle Scienze Fisiche (1996)
semantica
semàntica [Der. del fr. sémantique, termine introdotto, dal gr. semantikós (da semaíno "significare"), nel 1897 dal linguista M.-J.-A. Bréal per indicare quel ramo della linguistica che s'occupa [...] e quindi permette di dare una definizione rigorosa del concetto di verità: sono concetti semantici, per es., modello, formula soddisfacibile, ecc. ◆ [ALG] [FAF] S. della logica dei predicati e della logica proposizionale: v. logica: III 484 e, 483 d. ...
Leggi Tutto