Você está na página 1de 2

Teoria dos Modelos

Na matemtica, Teoria de Modelos o estudo da representao de conceitos matemticos em termos de teoria de conjuntos, ou o estudo de modelosque apoiam sistemas matemticos. assumido que existem alguns objetos matemticos pr-existentes, e investiga-se o que pode ser concludo de tal coleo de objetos, algumas operaes e/ou relaes entre estes objetos, e alguns axiomas. A independncia do axioma da escolha e da hiptese do contnuo dos outros axiomas de teoria dos conjuntos (provada por Paul Cohen e Kurt Gdel) so os dois resultados mais famosos fornecidos pela teoria de modelos. Foi provado que tanto o axioma da escolha quanto sua negao so consistentes com os axiomas de Zermelo-Fraenkel da teoria dos conjuntos; resultado similar vale para a hiptese do contnuo. No caso dos nmeros reais, pode-se comear com um conjunto de elementos, onde cada indivduo um nmero, e um conjunto de relaes, tal como {,+,-,.,0,1}. Se ns perguntarmos algo como " x (x x = 1 + 1)" nesta linguagem, ento fcil ver que a resposta positiva nos reais, mas negativa nos racionais. Entretanto, este modelo no grande o suficiente para que " x (x x = 0 1)" seja verdadeira nele; para isto adicionamos o smbolo "i" definido como a constante que deve ser adicionada linguagem para satisfazer " x (x x = 0 - 1)". Teoria de Modelos ento est preocupada com o que pode ser provado em determinados sistemas matemticos, e como estes sistemas se relacionam uns com os outros. Em particular, se quer saber o que acontece quando tentamos estender algum sistema pela adio de novos axiomas ou novas construes de linguagem. Restringindo a cardinalidade dos modelos e observando que fatos sendo verdadeiros para permitir que o teorema da compacidade seja usado, mostrando que algum teorema verdadeiro numa cardinalidade maior. Um modelo definido formalmente no contexto de alguma linguagem L (ou alguma assinatura). Um modelo formado por duas partes: 1. Um universo U, que um conjunto que contm os objetos de interesse, e 2. Uma interpretao que define o significado semntico de todos os smbolos de constantes, relaes e funes da linguagem. Uma teoria definida como um conjunto de sentenas que so consistentes; em geral tambm exigido que o conjunto seja fechado para consequencia lgica. Nesta definio, uma teoria um conjunto consistente maximal de sentenas. Completude em Teoria de Modelos definida como a propriedade de que toda sentena numa linguagem pode ser provada ou sua negao pode por alguma teoria. teorias completas so interessantes pois descrevem completamente algum modelo. O Teorema da Compacidade afirma que um conjunto de sentenas S satisfazvel, i.e. tem um modelo, se todo subconjunto finito de S satisfazvel. No contexto de teoria da prova a recproca trivial, j que toda prova pode ter apenas um nmero finito de antecedentes usados na prova; entretanto, no contexto de Teoria de Modelos, esta prova mais difcil. Existem duas provas bastante conhecidas, uma de Gdel e outra de Malcev. Elementary equivalence L-S-T theorem and Vaught's test. Extensions, Embeddings and Diagrams. Upward and downward Lowenheim-Skolem theorems. To give a flavor, mentioning the hyperreals would be good. (All of these need substantial filling out)

Observao: O termo 'modelo matemtico' tambm usado de maneira mais informal em outras reas da matemtica e de outras cincias, como aFsica, a Hidrulica, a Hidrologia para designar equaes ou sistemas de equaes ou mtodos para clculos de variveis.

Modelos padres e no padres de aritmtica


H uma distino entre modelos padres e no padres da aritmtica de Peano, que se destina a descrever as operaes de adio e multiplicao sobre os nmeros naturais. O modelo padro cannico obtido atravs da utilizao do conjunto de nmeros naturais como domnio de discurso, e interpretando "0" como 0, "1" como 1, "+" como a adio, e "x" como a multiplicao. Todos os modelos que so isomrficos para aquele que foi dado so tambm chamados de padres; estes modelos satisfazem todos os axiomas de Peano. Tambm existem modelos no-padres dos axiomas de Peano, que contm elementos no correlacionados com nenhum dos nmeros naturais. [editar]Bibliografia

Hodges, Wilfrid Model theory. Cambridge University Press, Cambridge 1997. Hodges, Wilfrid - A shorter model theory. Cambridge, 1997. Shoenfield, J. R. - Mathematical Logic. Association for Simbolic Logic, Natick - Massachusetts, 1967

Fonte:< http://pt.wikipedia.org/wiki/Teoria_dos_modelos> Acesso em 30/04/13.