Strumenti Utente

Strumenti Sito


Action disabled: source
db:teoria_dei_modelli

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


db/teoria_dei_modelli.txt · Ultima modifica: 13/04/2019 16:08 (modifica esterna)