Da Semântica para Demonstrações de Consistência e a Volta
O presente artigo contém duas teses principais. Primeiro, que o ponto de partida em uma demonstração de consistência de um sistema formal é uma noção semântica. Essa tese é apresentada a partir de uma análise das etapas pelas quais uma demonstração de consistência passa, uma vez que um atributo de f...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | deu |
| Published: |
Universidade de Brasília
2018-12-01
|
| Series: | Revista de Filosofia Moderna e Contemporânea |
| Subjects: | |
| Online Access: | https://periodicos.unb.br/index.php/fmc/article/view/19201/20231 |