Portal do Governo Brasileiro
s
Mostrando
1 - 2
resultados de
2
para a busca '
'
Pular para o conteúdo
Institucional
Sobre
Como participar
Diretrizes
Indicadores
Rede
Instituições participantes
Tecnologia
Faq
Contato
A sua conta
Sair
Entrar
Todos os campos
Título
Ano da publicação
Autor
Assunto
Resumo
Buscar
Busca avançada
Outro:
Biblioteca Digital de Teses e Dissertações da UFG
Programa de Pós-Graduação:
Programa de Pós-graduação em Filosofia (FAFIL)
Assunto em inglês:
Foundations of mathematics
Mostrar filtros (3)
Outro:
Biblioteca Digital de Teses e Dissertações da UFG
Programa de Pós-Graduação:
Programa de Pós-graduação em Filosofia (FAFIL)
Assunto em inglês:
Foundations of mathematics
Resultados da busca
Mostrando
1 - 2
resultados de
2
para a busca '
'
, tempo de busca: 0,02s
Ordenar:
Relevância
Data descendente
Data ascendente
Área
Autor
Título
Exportar CSV
1
Da interpretação Bhk à teoria intuicionista dos tipos: a construção mental como conceito primitivo fundamental
Por
Albernaz, Filipe Borges
Publicado em 2022
Acessar documento
Tese
2
“Apenas setas”: a teoria das categorias como linguagem para uma matemática estruturalista
Por
Saraiva, Igor Souza
Publicado em 2023
Acessar documento
Tese
Voltar
Refinar a Busca
Instituição de defesa
Universidade Federal de Goiás (UFG)
2
Bases coletadas
Biblioteca Digital de Teses e Dissertações da UFG
2
Programa de Pós-Graduação
Programa de Pós-graduação em Filosofia (FAFIL)
Autor
Albernaz, Filipe Borges
1
Saraiva, Igor Souza
1
Orientador(a)
Porto, André da Silva
2
Tipo de documento
Tese
2
Tipo de acesso
openAccess
2
Idioma
Português
2
Assunto
Fundamentos da matemática
2
Dedução natural
1
Estruturalismo
1
Interpretação BHK
1
Intuicionismo
1
Lógica de Heyting
1
Mais ...
Martin-Löf
1
Teoria das categorias
1
Teoria intuicionista dos tipos
1
Ver todos ...
menos ...
Assunto em inglês
Foundations of mathematics
BHK interpretation
1
Category theory
1
Heyting's logic
1
Intuitionism
1
Intuitionistic type theory
1
Mais ...
Martin-Löf
1
Natural deduction
1
Structuralism
1
Ver todos ...
menos ...
Área do conhecimento CNPq
FILOSOFIA
2
Ano da publicação
De:
Até:
Carregando...