==
Teorema: P =/= NP
Prova>
Considere, conjuntivamente as seguintes asserções:
(A) P =/= NP
(B) Se P =/= NP então NP =/= P
(C) Exatamente uma destas trës asserções é verdadeira.
É claro que (B) é verdadeira, e que (C) não pode ser verdadeira
Bertrand Russell é capaz de dizer o que há de errado com esta prova.
[]s
2011/6/3 Walter Carnielli
> ==
> Teorema: P =/= NP
>
> Prova>
>
> Considere, conjuntivamente as seguintes asserções:
>
> (A) P =/= NP
>
> (B) Se P =/= NP então NP =/= P
>
> (C) E
Tá vivo?!
2011/6/3 Marcelo Finger :
> Bertrand Russell é capaz de dizer o que há de errado com esta prova.
>
> []s
>
> 2011/6/3 Walter Carnielli
>
>> ==
>> Teorema: P =/= NP
>>
>> Prova>
>>
>> Considere, conjuntivamente as seguintes asserções:
>>
>> (A) P =/
Perfeito Walter
2011/6/3 Walter Carnielli
> ==
> Teorema: P =/= NP
>
> Prova>
>
> Considere, conjuntivamente as seguintes asserções:
>
> (A) P =/= NP
>
> (B) Se P =/= NP então NP =/= P
>
> (C) Exatamente uma destas trës asserções é verd
hahaha... mais uma versão sofisticada do paradoxo do mentiroso!
Gostei! Vou ter diversão para hoje com meus netos!
Vamos ver se eles descobrem por que C) não é uma sentença!
Mas, como eles ainda nao sabem o que é ser P-completo
ou NP completo, vou por no lugar de A) a sentença "0=1", ok?
Mande ma
Só falta agora juntarmos a isto uma demonstração qualquer para P = NP
(o mesmo argumento serve, claro, trocando a premissa (A)), e aí
podemos todos ficar felizes com a verdade simultânea de (A) & (B) &
(C).
:-)
JM
2011/6/3 Marcelo Finger :
> Bertrand Russell é capaz de dizer o que há de errado c
Creio que o problema da prova é a autoreferência.
D.
Decio Krause
Departamento de Filosofia
Universidade Federal de Santa Catarina
88040-940 Florianópolis, SC -- Brasil
deciokrause[at]gmail.com
www.cfh.ufsc.br/~dkrause
"Você não est
Tautologia.
Em 3 de junho de 2011 14:17, Decio Krause escreveu:
> Creio que o problema da prova é a autoreferência.
> D.
>
>
> Decio Krause
> Departamento de Filosofia
> Universidade Federal de Santa Catarina
> 88040-940 Florianópolis, SC -- Brasil
> deciokrause[
Alisson, veja o que acha (outros palpites por favor)
Na verdade, a interessante "prova" divulgada pelo Walter encerra algo que
Tarski já explicou há tempos quando falou em linguagens semanticamente
fechadas. A terceira sentença está, digamos, em um nível distinto,
metalinguístico, relativamente
Caro Decio Krause,
analisei a demonstração do Walter pela concepção de Ciência apresentada por
Popper.
"...há enunciados verdadeiros cuja probabilidade é igual a um e cujo
conteúdo informativo é nulo, a saber, as tautologias, que nada nos dizem
acerca do mundo, porque sempre se mostram necessaria
Alisson,
Popper não se referia à Matemática, e menos ianda à Lógica enquanto
matemática, caso contrário suas teorias estariam mortas ao nascer:
todas as demonstrações desde Euclides seriam "tautológicas" e
desprovidas de conteúdo cientifico. E se a Matemática não for ciência,
qual disciplina va
Allison
Eu acho que é preciso cuidado quando falamos em tautologias. Se eu fosse um
intuicionisa brouweriano, não relegaria A v ~A a uma tautologia, como fazem os
"clássicos"; aliás, essa noção não teria a sua conceituação usual ( se é que
teria alguma). E essa "definição" da wikipedia está meio
Caríssimos,
Popper propós uma nova concepção de Ciência. Matemática é Ciência. Quando se
refenciava a tautologia, falava de todo tipo de afirmativa que não poderia
ser falseada, que "nada nos dizem acerca do mundo, porque sempre se mostram
necessariamente verdadeiras, independentemente de como sej
Voce esta certo, Alisson. Dada a existencia de provas na matematica, ela nao
e' uma ciencia na definicao de Popper. Mas acho que isto importa pouco
(talvez para legitimar a disciplina com o publico) pois sua utilidade e'
obvia.
Carlos.
2011/6/5 Álisson Linhares
> Caríssimos,
>
> Popper propós u
Caríssimo Carlos Santos,
obrigado pelo "você está certo". Sei que você vai entender o que quero
dizer, mas não estou certo. : ) Seguindo o raciocínio de Popper, minha
proposição é apenas uma hipótese.
Hipóteses que levantei na comunicação anterior:
1. "No mundo da matemática, a Matemática é verda
Oi Alisson,
Voce toca em assuntos diversos e complexos ao ponto de nao poderem serem
discutidos todos juntos. De qualquer forma, pelo que eu pude entender sobre
o que te interessa, recomendo a leitura do livro 'Estrutura das revolucoes
cientificas', do Thomas Kuhn. Voce vai gostar, se ainda nao le
Caríssimo Carlos Santos,
discuto todos esses assuntos em conjunto por vê-los como
interdisciplinares.
Muito obrigado pela recomendação da obra de Thomas Kuhn. Pelo que já li
sobre o autor e sua obra, também acho que vou gostar.
Obrigado pelo elegantismo de seu comentário,
Afetuoso abraço,
--
Caros,
Eisntein sabia alemão. Não deve ter escrito:
"das was it", mas "das, was ist", e nem "das was sein sole" mas
talvez "das, was sein soll" ...
Abs,
Walter
Em 6 de junho de 2011 17:30, Álisson Linhares
escreveu:
> Caríssimo Carlos Santos,
> obrigado pelo "você está certo". Sei que vo
18 matches
Mail list logo
