2 publicações encontradas
Acervo
Pesquisa
2 resultados ·
Tese2024
CONSTRUTIVIDADE, RELEVÂNCIA E NORMATIVIDADE NA FORMALIZAÇÃO DA LÓGICA INTUICIONISTA
DE UMA PERSPECTIVA TANTO HISTÓRICA QUANTO FILOSÓFICA, O DESENVOLVIMENTO DA LÓGICA INTUICIONISTA FOI MOTIVADO PELO PENSAMENTO DE L.E.J. BROUWER, QUE COMPREENDIA A MATEMÁTICA COMO UMA ATIVIDADE MENTAL DE CONSTRUÇÃO DOS OBJETOS MATEMÁTICOS, SUAS PROPRI…
Dissertação2018
ECUMENISMO LÓGICO
""""A HISTÓRIA RECENTE DA LÓGICA MATEMÁTICA FOI MARCADA POR ALGUNS CONFLITOS ENTRE DIFERENTES CORRENTES FILOSÓFICAS, CADA UMA BUSCANDO CONTEXTUALIZAR A ATIVIDADE MATEMÁTICA A PARTIR DE SEU PRÓPRIO PRISMA ANALÍTICO E, POR MEIO DISSO, TENTANDO CONQUIS…
Filtros Avançados
Os campos preenchidos abaixo se combinam entre si (E): quanto mais campos, mais restrito o resultado.