Valéria,
Eu remeto parcelarmente ao programa do Hilbert a proposta para ser entendido
em minhas palavras. O que Hilbert pensou é, em certo sentido, mais amplo do
que o que hoje se faz em termos de combinação de lógicas. Que teorema havia
por detrás de uma proposta assim? No momento em que a propos
Só achei gozado porque em 83 resolvi um problema de geometria, as cópias de
gauge, e o instrumento básico foram conexões es espaços fibrados. De
repente, tinha repercussão...
2011/10/9 Valeria de Paiva
> Doria,
> Tambem tem "fibring" em logica categorica que 'e bem mais parecido com
> o fiber th
Doria,
Tambem tem "fibring" em logica categorica que 'e bem mais parecido com
o fiber the fibre bundles. A ideia aqui 'e que voce use uma base
correspondente a logica proposicional intuitionista (isto 'e uma
categoria cartesiana fechada) e os funtores entre as fibras servem
para fazer quantificacao
