Muito obrigada Hermogenes, por explicar de forma racional e embasada os
meus sentimentos de que
> haveria uma "aritmetização" sendo pressuposta em TMR
obrigada Rodrigo pela clarificacao:
>Alegação do Hermógenes reformulada: A tarefa de (i) apresentar uma
nomeação das fórmulas, (ii) representar a
Bom esclarecimento do seu entendimento, Hermógenes, mas ainda há pontos que
não estão estritamente corretos.
Por exemplo,
> Como nós poderíamos, contudo, com base no resultado abstrato de TMR,
> *demonstrar* o resultado de Gödel para uma formalização particular A da
> aritmética? Seria
O Guinness Book of Records possui uma reputação muito maior do que aquela
que seria compatível com os seus atos. Ele recebe substancial apoio de
diversas ditaduras que gostam de figurar em seus anais, com
valorosos récordes como as que envolvem manifestação de ciclistas (no caso,
em favor do
Olá, pessoal.
Carlos Gonzalez escreveu:
> Más o artigo é muito ruim, um lixo.
>
> [...]
>
> Mas acho que os mal-entendidos dessa senhora são tão básicos que
> dificilmente seja interessante continuar discutindo esse artigo.
>
> Com relação à senhora Juliette Kennedy, talvez seja conveniente
>