Teoria dos modelos

http://pt.dbpedia.org/resource/Teoria_dos_modelos an entity of type: Concept

Na matemática, Teoria de Modelos é o estudo da representação de conceitos matemáticos em termos de teoria de conjuntos, ou o estudo de modelos que apoiam sistemas matemáticos. É assumido que existem alguns objetos matemáticos pré-existentes, e investiga-se o que pode ser concluído de tal coleção de objetos, algumas operações e/ou relações entre estes objetos, e alguns axiomas.Um modelo é definido formalmente no contexto de alguma linguagem L (ou alguma assinatura). Um modelo é formado por duas partes:Elementary equivalence L-S-T theorem and Vaught's test.
Teoria dos modelos 
Na matemática, Teoria de Modelos é o estudo da representação de conceitos matemáticos em termos de teoria de conjuntos, ou o estudo de modelos que apoiam sistemas matemáticos. É assumido que existem alguns objetos matemáticos pré-existentes, e investiga-se o que pode ser concluído de tal coleção de objetos, algumas operações e/ou relações entre estes objetos, e alguns axiomas. A independência do axioma da escolha e da hipótese do contínuo dos outros axiomas de teoria dos conjuntos (provada por Paul Cohen e Kurt Gödel) são os dois resultados mais famosos fornecidos pela teoria de modelos. Foi provado que tanto o axioma da escolha quanto sua negação são consistentes com os axiomas de Zermelo-Fraenkel da teoria dos conjuntos; resultado similar vale para a hipótese do contínuo. No caso dos números reais, pode-se começar com um conjunto de elementos, onde cada indivíduo é um número, e um conjunto de relações, tal como {×,+,-,.,0,1}. Se nós perguntarmos algo como "∃ x (x × x = 1 + 1)" nesta linguagem, então é fácil ver que a resposta é positiva nos reais, mas é negativa nos racionais. Entretanto, este modelo não é grande o suficiente para que "∃ x (x × x = 0 - 1)" seja verdadeira nele; para isto adicionamos o símbolo "i" definido como a constante que deve ser adicionada à linguagem para satisfazer "∃ x (x × x = 0 - 1)". Teoria de Modelos então está preocupada com o que pode ser provado em determinados sistemas matemáticos, e como estes sistemas se relacionam uns com os outros. Em particular, se quer saber o que acontece quando tentamos estender algum sistema pela adição de novos axiomas ou novas construções 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: Uma teoria é definida como um conjunto de sentenças que são consistentes; em geral é também exigido que o conjunto seja fechado para consequencia lógica. Nesta definição, uma teoria é um conjunto consistente maximal de sentenças. Completude em Teoria de Modelos é definida como a propriedade de que toda sentença numa linguagem pode ser provada ou refutada (ou seja, dado uma sentença, é sempre possível provrar que ela é verdadeira ou falsa). Teorias completas são interessantes pois descrevem completamente algum modelo. O Teorema da Compacidade afirma que um conjunto de sentenças S é satisfazível, i.e. tem um modelo, se todo subconjunto finito de S é satisfazível. No contexto de teoria da prova a recíproca é trivial, já que toda prova pode ter apenas um número finito de antecedentes usados na prova; entretanto, no contexto de Teoria de Modelos, esta prova é mais difícil. Existem duas provas bastante conhecidas, uma de Gödel 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) Observação: O termo 'modelo matemático' é também usado de maneira mais informal em outras áreas da matemática e de outras ciências, como a Física, a Hidráulica, a Hidrologia para designar equações ou sistemas de equações ou métodos para cálculos de variáveis. 
xsd:nonNegativeInteger 35 
xsd:integer 9754 
xsd:nonNegativeInteger 5330 
xsd:integer 37314043 

data from the linked data cloud