lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono [...] come si possano ottenere significativi risultati su di esse utilizzando fatti generali – primo fra tutti, il teoremadicompattezza – sui modelli di insiemi di formule in linguaggi elementari con numero di costanti extralogiche arbitrario. Più o meno ...
Leggi Tutto
In arte e architettura, persona od oggetto che l’artista ritrae o riproduce, oppure esemplare preparatorio dell’opera finale. Nel linguaggio scientifico, costruzione schematica, puramente ipotetica o realizzata [...] e teoria dei modelli
Una teoria si dice finitamente assiomatizzabile se può avere un numero finito di assiomi non logici. Vale il teoremadicompattezza: ‘una formula è valida in una teoria T se e solo se è valida in qualche sottoteoria finitamente ...
Leggi Tutto
In logica matematica, data una teoria formale, occorre distinguere un teorema sintattico di f. da uno semantico. Il primo si riferisce ai concetti di derivabilità e di non contraddittorietà, il secondo [...] , anche infinito, se per ogni suo sottoinsieme finito esiste un modello, anche l’intero insieme P deve avere un modello. Questa seconda formulazione del teorema, assai importante in teoria dei modelli, è nota anche come teoremadicompattezza. ...
Leggi Tutto
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ù [...] piena realizzazione. I primi risultati in questo senso risalgono a Mal'cev, che nel 1945 mostrò come applicare il teoremadicompattezza ai principî locali della teoria dei gruppi. Posto che TG sia la teoria che otteniamo nel linguaggio elementare L ...
Leggi Tutto
di Massimiliano Caramia e Paolo Dell'Olmo
L'obiettivo del processo decisionale è quello di migliorare lo stato di un individuo o di un'organizzazione in termini di uno o più criteri. Il trattamento delle [...] una sola soluzione. Diversi paradossi testimoniano la difficoltà di formalizzare questo tipo di d. collettive. Il teorema dell'impossibilità di Arrow stabilisce la non esistenza di una funzione di utilità del gruppo (ossia una funzione che aggreghi ...
Leggi Tutto