Sobre derivações em dedução natural?
JM
2013/3/6 Famadoria :
> Tem um teorema de Gödel sobre isso.
>
> Sent from my iPhone
>
> On 06/03/2013, at 19:38, Joao Marcos wrote:
>
>> Gostaria de fazer uma consulta simples entre os colegas com mais
>> intuição do que eu sobre este assunto.
>>
>> Um alun
Oi, João!
Eu não conheço nenhum teorema de Gödel que trate do assunto (de fato,
não acredito que exista...).
Sobre a sua pergunta, acho que é super interessante. Se considerarmos
a lógica clássica proposicional, então não há muito a dizer:
derivações normalizadas não utilizam lemas e são "minimai
alo todos,
Pois e', eu tambem acho que Doria se enganou nessa. eu tenho as obras
completas do Goedel and por via das duvidas dei uma "googlada", mas nao
achei nada..sem contar que os metodos de descricao de provas nao eram muito
sofisticados. o calculo de sequentes 'e dos anos 30 e a deducao natura
Oi, Valéria!
> mas eu nao concordo com Elaine qdo ela diz:
>>Se considerarmos
>>a lógica clássica proposicional, então não há muito a dizer:
>>derivações normalizadas não utilizam lemas e são "minimais". Então eu
>>diria que a complexidade é a mesma.
> tem muita coisa a se dizer sim e a complexid
Oi João.
Eu uma vez tive uma discussão com o Ruy Excel sobre um assunto similar: o
grau de interesse de um teorema. A gente informalmente discutiu que o
nível de interesse é a razão entre o tamanho da menor prova conhecida
(usando a regra que v quiser) e o tamanho do teorema. Quanto maior esta
r
Caro João,
Tenho muita simpatia pela pergunta, mas é aquela velha história do pescador
que se encanta mais pela rede do que pelo mar. Contar o número de regras
usadas e de passos pode ser um meio para medir uma derivação, porém será um
entre vários meios de medição. E segundo, para medir será prec
Não usou dedução natural e nem precisa; poderíamos codificar em linguagem
binária a dedução. E se aplica o teorema de Goedel sobre o comprimento das
provas.
Sent from my iPhone
On 07/03/2013, at 08:01, Joao Marcos wrote:
> Sobre derivações em dedução natural?
>
> JM
>
> 2013/3/6 Famadoria
Existe: sobre o comprimento das provas. Na verdade Goedel apenas o enunciou em
36; foi provado nos anos 50. Usei-0 num artigo de 91, Undecidability and
incompleteness in classical mechanics. É equivalente a um teorema de M. Blum em
computação.
Sent from my iPhone
On 07/03/2013, at 08:52, Elai
Basta codificar em binário e considerar a ( incomputável) mais curta
codificação possível.
Sent from my iPhone
On 07/03/2013, at 16:42, Tony Marmo wrote:
> Caro João,
>
> Tenho muita simpatia pela pergunta, mas é aquela velha história do pescador
> que se encanta mais pela rede do que pelo m
