Legal esse paper to Putnam, Petrucio! obrigada por mandar.
Boas Festas pra todos!
Valeria
On Wed, Dec 25, 2019 at 5:47 AM Jorge Petrucio Viana <
petrucio_vi...@id.uff.br> wrote:
> Olá para todos,
> não li esse artigo em detalhes, mas numa passada de olhos, não vi nem
> aritmetização, nem o
Eu não estou entendendo muito bem qual é o eixo desta discussão.
Suponha que trabalhamos em AP.
Se demonstrar que o conjunto das fórmulas que não são teoremas não é
recursivamente enumerável, então o conjunto dos teoremas não é recursivo, E
isso pode ser provado de maneira finitária. Certo?
Olá para todos,
não li esse artigo em detalhes, mas numa passada de olhos, não vi nem
aritmetização, nem o predicado Bew, nem autoreferência na prova da
incompletude.
https://projecteuclid.org/euclid.ndjfl/1027953483
abraços
P
Em dom., 22 de dez. de 2019 às 22:36, Valeria de Paiva <
