Olá João Marcos,
Entendo teu ponto e estou de acordo, não vejo como possa haver semelhança de
estruturas.Permita-me mais uma pergunta, sem relação com o Watzlawick: foi
discutido uma vez na lista o impacto do teorema de Gödel sobre o Tracatus, ou
coisa parecida, você que conhece os dois lados,
Oi, Ricardo
Obrigado pela aula sobre Piaget. O congresso vai ser bacana sem dúvida.
Eu "conheço" a Epistemologia Genética e sempre invoquei (mas de leve,
como suspeita apenas) com os que liam apenas a primeira parte, aquela
dos estágios do desenvolvimento, pois acho que é difícil (ou
impossí
Post em 43 ou 44 publicou uma prova intuitiva, muito simples, do primeiro
teorema de incompletude, que foi depois reformulada por Martin Davis em
termos de máquinas de Turing. Novamente não usa nenhum paradoxo.
O próprio teorema de Chaitin pode ser provado sem referência a qualquer
paradoxo. A pro
Perdão, A recursivo.
2009/8/12 Francisco Antonio Doria
> Tá no artigo de Kleene de 1936.
>
> 1) Enumera todas as sentenças demonstráveis da aritmética da forma ``para
> todo x existe y tal que A(x, y),'' A primitivo recursivo.
>
> 2) Estas sentenças enumeram (enumeração r.e.) todas as funções re
Tá no artigo de Kleene de 1936.
1) Enumera todas as sentenças demonstráveis da aritmética da forma ``para
todo x existe y tal que A(x, y),'' A primitivo recursivo.
2) Estas sentenças enumeram (enumeração r.e.) todas as funções recursivas
provadamente totais da aritmética onde estamos.
3) Diagona
Olá grande Décio.
2009/8/12 Decio Krause
> Prezado RicardoVi em um cartaz que vocês estão organizando um evento sobre
> Piaget na UNESP e você está no meio.
>
De fato, estamos organizando o I Colóquio Internacional de Epistemologia e
Psicologia Genéticas: Atualidade da Obra de Jean Piaget (mais
Tenho lembrança de Kripke dizer na palestra na Unicamp que Os Teoremas de Incompletude estavam sim relacionados ao paradoxo do mentiroso. As gravações estão decriptadas?
WS> o Teorema de Gödel guarda semelhança primariamente com o Paradoxo de Berry.> Não sei se o próprio Gödel explicita isso na s
Está no artigo de Kleene de 36, ao fim.
2009/8/12 Francisco Antonio Doria
> Chamo a atenção para a prova de incompletude de Kleene: usa uma sentença
> ∏2, e não se refere a paradoxo algum.
>
> 2009/8/12 Joao Marcos
>
> > o Teorema de Gödel guarda semelhança primariamente com o Paradoxo de
>> Be
Chamo a atenção para a prova de incompletude de Kleene: usa uma sentença ∏2,
e não se refere a paradoxo algum.
2009/8/12 Joao Marcos
> > o Teorema de Gödel guarda semelhança primariamente com o Paradoxo de
> Berry.
> > Não sei se o próprio Gödel explicita isso na sua demonstração, mas lembro
> d
> o Teorema de Gödel guarda semelhança primariamente com o Paradoxo de Berry.
> Não sei se o próprio Gödel explicita isso na sua demonstração, mas lembro de
> ter lido em algum livro de Hao Wang que o próprio Gödel vinculava seu
> resultado ao Paradoxo de Berry. Uma exposição exemplar dessa semelha
A versão de Kleene, para sentenças ∏2, não.
2009/8/12 Frank Thomas Sautter
> João Marcos e demais colegas,
> o Teorema de Gödel guarda semelhança primariamente com o Paradoxo de Berry.
> Não sei se o próprio Gödel explicita isso na sua demonstração, mas lembro de
> ter lido em algum livro de Hao
João Marcos e demais colegas,
o Teorema de Gödel guarda semelhança primariamente com o Paradoxo de Berry.
Não sei se o próprio Gödel explicita isso na sua demonstração, mas lembro de
ter lido em algum livro de Hao Wang que o próprio Gödel vinculava seu
resultado ao Paradoxo de Berry. Uma exposição
Outra coisa: PA + Regra de Shoenfield = True Arithmetic.
2009/8/12 Ricardo Pereira Tassinari
> Olá Bruno.
>
> 2009/8/12 Bruno Woltzenlogel Paleo
>
>> Olá Ricardo,
>>
>> ---
>> Bem, por outro lado, que são essas coisas sintáticas chamadas fórmulas?
>>
>> Há in
Já comentei que há provas triviais, embora não-finitistas, para a
consistência da aritmética (PA). Um motivo pelo qual a aritmética é
consistente: há muito pouca chance de se encontrar uma contradição, pois,
numa medida razoável, o conjunto das sentenças demonstráveis tem medida
zero. Este é um res
Olá Bruno.
2009/8/12 Bruno Woltzenlogel Paleo
> Olá Ricardo,
>
> ---
> Bem, por outro lado, que são essas coisas sintáticas chamadas fórmulas?
>
> Há infinitas delas (!)
> e elas nem são exatamente objetos físicos, pois são tipos (type) e não
> ocorrências (to
Incompletabilidade é horrível, anticonstitucionalissimamente horrível.
Prefiro incompletude. Ou, sistema incompleto. Manqué, talvez...
2009/8/12 Decio Krause
> Prezado RicardoVi em um cartaz que vocês estão organizando um evento sobre
> Piaget na UNESP e você está no meio. Eu sempre gostei de le
Prezado Ricardo
Vi em um cartaz que vocês estão organizando um evento sobre Piaget na
UNESP e você está no meio. Eu sempre gostei de ler Piaget, mas não
faço isso há tempos. No entanto, há uma questão que me incomoda e que
como não sou especialista, não sei responder; talvez você ou outra
Yahoo! é ruim, sim.
2009/8/12 Bruno Woltzenlogel Paleo
> Olá,
>
> Se forem escolher entre GoogleGroups e YahooGroups, eu recomendo o
> GoogleGroups.
>
> Há alguns anos eu costumava administrar varias mailing-lists no
> YahooGroups.
> Da noite por dia, o Yahoo deletou minha conta e tudo foi perdi
18 matches
Mail list logo
