Sistema formal: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
Linha 26:
O ponto de vista de que a geração de provas formais é tudo que existe para a matemática é, frequentemente, chamado de formalismo.
[[David Hilbert]] fundou a [[metamatemática]] como um disciplina para a discussão de sistemas formais. Qualquer linguagem que
Uma vez dado um sistema formal, pode se definir o conjunto de teoremas que pode ser provados dentro do sistema formal. Esse conjunto consiste de todas as fbfs que existe um prova. Assim, todos os axiomas são considerados teoremas. Ao contrário da gramática para fbfs, nao existe garantia que existirá um [[Decidibilidade| procedimento para decidir]] quando um fbf dada é um teorema ou não. Essa noção de ''teorema'' não deve ser confundida com '' temoras sobre o sistema formal'', que, para evitar confusão, são normalmente chamadas de [[metateoremas]].
| |||