Pesquisa
ANÁLISE CRÍTICA DA TEORIA DE TIPOS INTUICIONISTAS DE PER MARTIN LÖF
A Teoria de Tipos de Per Martin Löf é um sistema formal que combina lógica intuicionista e teoria dos tipos, com aplicações na formalização de provas matemáticas e na computação. No entanto, apesar de sua estrutura rigorosa, a teoria apresenta desaf…
UM ESTUDO DE PROVAS E REFUTAÇÕES DE IMRE LAKATOS
PROOFS AND REFUTATIONS É UMA DAS OBRAS MAIS IMPORTANTES DO FILÓSOFO HÚNGARO IMRE LAKATOS (1922-1974) E SEU TEMA PRINCIPAL É A AVALIAÇÃO DO PROGRESSO DA MATEMÁTICA; O TEXTO É ESTRUTURADO COMO UMA NARRATIVA FICCIONAL COM O RECURSO LITERÁRIO DE UM CONJ…
Exame da demonstração cartesiana: da explicação à prova no fenômeno do arco-íris
Segundo Descartes, o método é o meio pelo qual se deve buscar e demonstrar o conhecimento verdadeiro. Embora Gueroult tenha mostrado que o método foi bem sucedido nas Meditações, esse procedimento é contestado por alguns filósofos da ciência e histo…
Filtros Avançados
Os campos preenchidos abaixo se combinam entre si (E): quanto mais campos, mais restrito o resultado.