Lógica matemática: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
m Foram revertidas as edições de 105.168.47.92 para a última revisão de Contreiras45, de 11h55min de 24 de maio de 2016 (UTC) |
|||
Linha 15:
Cada área tem um foco distinto, apesar de ter várias técnicas e resultados comuns entre si. A divisão das referidas áreas e os limites que separam a lógica matemática de outros campos de estudo não são bem definidas. A [[Teoremas da incompletude de Gödel|teoria da incompletude de Gödel]] representa não só um marco na teoria da recursão e teoria da prova, mas também contribuiu para o [[teorema de Löb]] da teoria dos modelos. O método do forçamento ("forcing") é aplicada na teoria dos conjuntos, na teoria dos modelos, na teoria da recursão, assim como no estudos da matemática intuiticionística.
O campo matemático conhecido como o da teoria das categorias usa muitos métodos axiomáticos formais nos quais se inclui o estudo da lógica categórica, mas essa teoria não é comumente considerada um sub-ramo da lógica. Por causa da sua aplicabilidade em diversos campos da lógica, matemáticos como [[Saunders Mac Lane]] propuseram usar a teoria das categorias como fundamentos da matemática, independentemente da teoria dos conjuntos. Essas fundamentações usam tópicos que em muito se parecem com modelos generalizados das teorias dos conjuntos, e empregam lógica clássica ou não-clássica.
== História ==
| |||