Uma abordagem sobre a concepção de proposição da teoria institucionalista de tipos
Gardado en:
| Autor Principal: | |
|---|---|
| Data de Publicación: | 2013 |
| Formato: | Master thesis |
| Idioma: | por |
| Fonte: | Repositório Institucional da UFG |
| Download full: | http://repositorio.bc.ufg.br/tede/handle/tede/3337 |
Summary: | By means of the Curry-Howard Correspondence Martin-Löf’s intuitionistic type theory claims that to define a proposition by laying down how its canonical proofs are formed is the same as to define a set by laying down how its canonical elements are formed; consequently a proposition can be seen as the set of its proofs. On the other hand, we find in this very same theory a distinction between the notions of set and of type, such that the difference of the latter in relation to the former consists in the fact that to form a type we do not need to present an exhaustive prescription for the formation of its objects; it is sufficient to just have a general notion of what would be an arbitrary object that inhabits such type. Thus we argue that we can extract two distinct notions of propositon from the intuitionistic type theory, one which treats propositions as types and another which treats propositions as sets. Such distinction will have some bearing on discussions concerning hypothetical demonstrations and conjecture’s formation. |
Títulos similares: Uma abordagem sobre a concepção de proposição da teoria institucionalista de tipos
- Da interpretação Bhk à teoria intuicionista dos tipos: a construção mental como conceito primitivo fundamental
- Uma avaliação da estrutura de tipos presente na terceira seção da begriffsschrift, à luz do cálculo lambda
- As bases do intuicionismo matemático de Brouwer a natureza do continuum intuicionista
- Investigação do perfil soroepidemiológico da infecção pelo vírus da hepatite C em pacientes com diabetes mellitus tipo 2 em Goiânia- Goiás
- Percepção sensorial perturbada (tátil) nos pés de pessoas com diabetes tipo 2, em atendimento ambulatorial
- Hipertensos diabéticos e o risco de doenças cardiovasculares: uma coorte histórica