2 publicações encontradas
Acervo
Pesquisa
2 resultados ·
Tese2022
DA INTERPRETAÇÃO BHK À TEORIA INTUICIONISTA DOS TIPOS: A CONSTRUÇÃO MENTAL COMO CONCEITO PRIMITIVO FUNDAMENTAL
EM MEIO A UMA DISPUTA DE FUNDAMENTOS FILOSÓFICOS QUE DURA MAIS DE UMA CENTENA DE ANOS, A FUNDAMENTAÇÃO INTUICIONISTA DA MATEMÁTICA PARECE CADA VEZ MAIS PRÓXIMA DE SER UMA ALTERNATIVA À FUNDAMENTAÇÃO CLÁSSICA. INTERPRETAÇÃO DE NOÇÕES FUNDAMENTAIS E P…
Dissertação2013
UMA ABORDAGEM SOBRE A CONCEPÇÃO DE PROPOSIÇÃO DA TEORIA INTUICIONISTA DE TIPOS
A TEORIA INTUICIONISTA DE TIPOS, DE MARTIN-LÖF, ALEGA, À LUZ DA CORRESPONDÊNCIA CURRY- HOWARD, QUE DEFINIR UMA PROPOSIÇÃO POR MEIO DO ESTABELECIMENTO DE COMO AS SUAS PROVAS CANÔNICAS SÃO FORMADAS É O MESMO QUE DEFINIR UM CONJUNTO POR MEIO DO ESTABEL…
Filtros Avançados
Os campos preenchidos abaixo se combinam entre si (E): quanto mais campos, mais restrito o resultado.