Muito obrigado à Valéria pelas referências que me passou. São muito ricas!
Em 22 de maio de 2012 10:58, Elaine Pimentel
elaine.pimen...@gmail.comescreveu:
Olas!
Eu nao vou ter tempo agora de escrever muito, mas acho que vale a pena
dizer que me parece que a Sara Negri tem um procedure para
oi Elaine,
A Sara tem sim, mas me parece que 'e o mesmo truque/insight do
Vigano/Simpson, so' que em forma de sequentes em vez de deducao natural, o
que voce gosta mais...!
as limitacoes dos metodos tb sao semelhantes, teorias geometricas.
all good stuff, como se diz por ai.
abs
valeria
Caros,
Um outro aspecto muito interessante é que, *normalmente*, a hibridização
(não estou falando de binders) de uma lógica modal não aumenta a
complexidade de lógica modal por baixo.
Um abraço,
Mario
Em 22 de maio de 2012 11:21, Valeria de Paiva
valeria.depa...@gmail.comescreveu:
oi
Um amigo meu - que pesquisa improvability em metamatemática - possui uma
enorme (e legítima) frustração com o fato de existirem cem vezes mais
palpiteiros profissionais (filósofos da matemática com know how
insuficiente) do que lógicos e matemáticos trabalhando com seu tema de
pesquisa, que
