O ensaio abaixo, que prova que PUC is harder than Princeton, fez-me
lembrar desta discussão mais ou menos recente, na lista:
http://revistapiaui.estadao.com.br/blogs/questoes-estrangeiras/geral/back-to-school
JM
2011/8/11 Valeria de Paiva valeria.depa...@gmail.com
Joao Marcos,
acho que voce
Oi Fernando,
Essas lógicas infinitárias não satisfazem mais o teorema da
compacidade, e aí cai por terra a distinção que vc propõe entre
consequência sintática e consequência semântica (que, a meu ver, está
intimamente ligado a compacidade).
Concordo com você que neste caso a minha distinção
Oi Fernando,
Essas lógicas infinitárias não satisfazem mais o teorema da
compacidade, e aí cai por terra a distinção que vc propõe entre
consequência sintática e consequência semântica (que, a meu ver, está
intimamente ligado a compacidade).
Concordo com você que neste caso a minha distinção