Pesquisa
CONSIDERAÇÕES SOBRE A DEMONSTRAÇÃO ORIGINAL DO TEOREMA DA COMPLETUDE DE KURT GÖDEL
O TRABALHO CONSTITUI UM COMENTÁRIO CRÍTICO DA DISSERTAÇÃO DE DOUTORADO DE GÖDEL QUE APRESENTA UMA PROVA DE COMPLETUDE DA LÓGICA DE PRIMEIRA ORDEM. A INTRODUÇÃO TRATA DOS CONCEITOS DE FORMALISMO, MÉTODO AXIOMÁTICO E COMPLETUDE, PARA QUE SEJA POSSÍVEL…
Estruturas e análise filosófica das teorias científicas.
A noção de estrutura tem aplicação em diversos campos do conhecimento, notadamente na matemática, na lógica e na filosofia da ciência. Na matemática, o trabalho do coletivo francês Bourbaki evidenciou o aspecto estrutural da matemática buscando, por…
O Papel dos Diagramas na Geometria Euclideana
O objetivo deste trabalho é argumentar em favor de uma nova interpretação para o papel dos diagramas nas demonstrações da geometria euclideana. À luz de trabalhos recentes acerca do tema, pretende-se promover, em particular, uma nova avaliação daque…
Filtros Avançados
Os campos preenchidos abaixo se combinam entre si (E): quanto mais campos, mais restrito o resultado.