minimalizzazione
Enciclopedia on line
Particolare tipo di procedimento, usato in logica matematica e soprattutto nella teoria della ricorsività, nel quale si fa uso dell’operatore di m., o operatore-μ, che consente di definire in modo opportuno [...] una funzione a partire da una funzione data o da un predicato dato. Procedimento e operatore di m. possono essere intuitivamente descritti mediante la formula μxPx che si legge «il più piccolo x tale che ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
computabilità
Enciclopedia on line
computabilità In logica matematica, nozione che di solito s’identifica con quella di ricorsività generale, introdotta intorno al 1936 da A.M. Turing e da E.L. Post. Una funzione numerica di n variabili [...] si dice computabile se esiste un algoritmo per cui si possa, con un numero finito di passi, calcolare per ogni ennupla di argomenti il valore assunto dalla funzione ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
particolarizzatore
Enciclopedia on line
In logica matematica, uno dei due quantificatori fondamentali (➔ operatore), insieme con il generalizzatore o quantificatore universale ∀. Il p., o quantificatore esistenziale (simbolo ∃), applicato a [...] un predicato P afferma l’esistenza di almeno un individuo che gode della proprietà P. In simboli: ∃ x P x, che si legge: esiste almeno un x tale che valga Px ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
metateoria
Enciclopedia on line
In logica matematica, scienza che ha per oggetto una teoria, detta teoria-oggetto. Si usa distinguere una m. sintattica, o sintassi, da una m. semantica, o semantica. La sintassi ha per oggetto le sole [...] proprietà formali o strutturali delle espressioni della teoria, la semantica studia invece anche i significati dei simboli ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
bicondizionale
Enciclopedia on line
In logica matematica, la connessione p ↔ q di due enunciati p e q, che è vera se e solo se essi sono entrambi veri o entrambi falsi. ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
TEOREMA
Enciclopedia Italiana (1937)
TEOREMA (gr. ϑεώρεμα; ted. Theorem e, più spesso, Lehrsatz o Satz)
Etimologicamente (da ϑεωρέω "scorgo, contemplo") significa "proposizione speculativa"; ma, soprattutto in matematica, ha assunto il senso [...] relativo dei teoremi, in rapporto alla scelta - entro certi limiti arbitraria - di codeste proposizioni fondamentali (v. logica matematica).
Per le proposizioni inversa (o reciproca), contraria, contronominale di un teorema e per le cosiddette leggi ...
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 [...] teoria sui cardinali inaccessibili, in collab. con H. J. Kreisler (1964). Sia dal punto di vista della logica matematica sia da quello filosofico sono risultati fondamentali i suoi contributi alla semantica, originariamente indirizzati a fornire una ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
metamatematica
Enciclopedia on line
Scienza che ha per oggetto l’analisi formale delle strutture matematiche, e che si può identificare con la logica matematica. Con significato più ristretto la m., o teoria della dimostrazione (Beweistheorie), [...] , simboli speciali per gli individui, i predicati e le funzioni, oltre agli assiomi non logici propri delle teorie), scelte in modo da riprodurre fedelmente le teorie matematiche oggetto di studio. Perciò si dovrà, tra l’altro, esigere che la teoria ...
Leggi Tutto
CATEGORIA:
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. [...] concetti d'interpretazione e di struttura per il linguaggio L di una teoria elementare T (cfr. pure logica matematica: Principi di logica matematica, in questa Appendice). Una interpretazione I per il linguaggio L di una teoria elementare T consiste ...
Leggi Tutto
definibilita
Enciclopedia della Scienza e della Tecnica (2008)
definibilità
Silvio Bozzi
Nella logica matematica, concetto utilizzato in due sensi: uno riferito alle costanti extralogiche di una teoria in un linguaggio L, l’altro alle relazioni o funzioni su una [...] teoria dei modelli studiano e classificano gli insiemi definibili o definibili con particolari modalità in strutture matematicamente significative. Per capire la portata della cosa, basti pensare che varietà affini o proiettive, insiemi semialgebrici ...
Leggi Tutto
CATEGORIA:
LOGICA