Teoria dei modelli
| Approfondimenti | Info |
|---|---|
Quest'argomento non è collegato ad altri approfondimenti correlati. Si consiglia, in ogni caso, di controllare sempre [ l'Indice ] degli Approfondimenti | Questa pagina è solo improntata in attesa di completamento da parte dei Collaboratori. Se sei interessato a collaborare attivamente con Extrapedia, leggi come fare [ Collabora ] |
In Matematica, la Teoria dei modelli è lo studio di classi di strutture matematiche (p. es. gruppi, campi, grafici, universi della Teoria degli insiemi) dal punto di vista della Logica matematica. Gli oggetti di studio sono modelli di teorie in un Linguaggio formale. Una serie di frasi in un Linguaggio formale è una delle componenti che formano una teoria. Un modello di una teoria è una struttura (per esempio un'interpretazione) che soddisfa le frasi di quella teoria.
La Teoria dei modelli riconosce e si occupa intimamente di una dualità: esamina elementi semantici (significato e verità) mediante elementi sintattici (formule e dimostrazioni) di un linguaggio corrispondente: in una definizione sintetica, risalente al 1973.
“Qualora alcuni link non funzionassero, si prega di comunicarlo allo Staff - staff@extrapedia.org”
Strumenti Pagina
