Prezado Chico e lista,
Já que estamos no problema da representabilidade da aritmética, quero
mencionar uma questão que gerou bastante confusão décadas atrás e que
talvez alguns lógicos mais novos desconheçam.
Trata-se de teorias de corpos ordenados. Algumas delas (característica
zero? corpos
Caro Hermógenes,
Ambos os originais que mencionei, assim como o lembrado pelo Carlos são muito
interessantes; considero os dois primeiros melhores que o livro de 1992, que é
um ótimo texto.
Um grande abraço,
Chico
> On 29 Dec 2019, at 16:57, Hermógenes Oliveira wrote:
>
> Olá, Chico.
>
Olá, Chico.
Eu não li a tese de doutorado do Smullyan ou o artigo de 1959, mas
conheço o livro de 1992, Gödel's Incompleteness Theorems. De acordo
com o prefácio, ideias daquelas obras anteriores estão incorporadas
ali.
Dentre a literatura secundária sobre os teoremas de Gödel, esse livro
do
Prezado Chico,
Muito esclarecedores os teus comentários.
Eu não conheço e não sei se é pertinente um outro livro de Smullyan:
"Diagonalization and Self-Reference"
Nos últimos tempos da sua vida, Daniel Glushankoff estudo grupos
reticulados e me comentava algumas coisas do seu trabalho.
Essa
> Car@s,
>
> Me indago porque ninguém parece se lembrar da tese de doutorado do Smulian em
> Princeton, publicada naquela coleção de Princeton que tinha capa vermelha.
> Para quem não conhece , recomendo:
> A theory of formal systems
> Princeton Univ Press, 1961.
>
> Há um artigo anterior
Estimados,
informamos que o prazo final da seguinte chamada foi estendido para* 12 de
fevereiro de 2020*
---
O Centro de Estudos em Filosofia, Lógica e Epistemologia (CeFiLoE) tem o
Vamos primeiro analisar o teorema em termos da dicotomia: ou T não representa a
diagonalização ou T não representa a sua teoremicidade.
A diagonalização é um caso particular de uma operação muito básica da
matemática elementar: a substituição de uma variável livre em uma expressão por
um
Rodrigo Freire escreveu:
> A hipótese que T tem nomes para suas fórmulas significa apenas que
> as fórmulas de T e os termos fechados de T estão em correspondência
> 1-1: a cada fórmula F corresponde um termo fechado ‘F’. Nem precisa
> mencionar aritmética. Qualquer teoria em que o numero de
