2 publicações encontradas
Acervo
Pesquisa
2 resultados ·
Dissertação2022
ABORDAGENS DA CONSTRUTIVIDADE MATEMÁTICA
O CONCEITO DE CONSTRUTIVIDADE É MUITO DISCUTIDO NO CAMPO DA FUNDAMENTAÇÃO E DA FILOSOFIADA MATEMÁTICA. ENTRETANTO, NÃO HÁ CONSENSO SOBRE SUA DEFINIÇÃO. ESTE TRABALHO SE PROPÕE ADEFINIR E ANALISAR ABORDAGENS DESSE CONCEITO NO CONTEXTO DA MATEMÁTICA C…
Artigo2019
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…
Filtros Avançados
Os campos preenchidos abaixo se combinam entre si (E): quanto mais campos, mais restrito o resultado.