Re: Re: [obm-l] Re: [obm-l] Provadores automáticos de Teorema

[Chicao Valadares <chicaovaladares@xxxxxxxxxxxx>]

adendo.....

> >O PROCEDIMENTO existe, porém ele NÃO PÁRA
> > (problema
> > da parada da máquina de Turing), daí ele não é um
> > ALGORITMO
> > geral para provar inconsistência.  
> > O exemplo abaixo mostra isso ...
> 
> Agora fiquei na duvida entre o NAO PARAR e o NAO 
> EXISTIR pois:
> No exemplo,voce ja esta supondo que tal procedimento
> existe...
> Supondo, como vc,que tal procedimento
> existe,chamando
> tal procedimento de halt(Programa : w ) que recebe
> um
> programa como entrada, é facil construir um novo
> programa(PBugado) totalmente inconsistente...
> 
> PBugado(Programa : x){
> IF(Halt(x) == TRUE)
> THEN While(TRUE);
> ELSE Exit(); 
> }
> 
> Basta fazer a chamada  PBugado(Pbugado), a tao
> famosa
> autoreferencia... e observar que se PBugado
> parar(Halt
> vai acusar true) entao PBugado entra  em loop
> infinito
> que já é uma contradiçao...
> Se ele nao parar(vai para o ELSE) entao ele vai para
> instruçao Exit() o que indica que ele vai parar, ou
> seja tambem é uma contradiçao... 
> Portanto a suposiçao de que Halt existe leva a uma
> contradiçao..portanto ele nao existe....
> Correto???Errado??Ele EXISTE OU NAO EXISTE???
> acredito que o wikipedia ajude :
> http://en.wikipedia.org/wiki/Halting_problem

Busquei sobre indecibilidade em vários lugares p/
tirar essa dúvida(nao vou citar aqui é só fazer a
busca por indecibilidade no google) e além do
wikipedia teve muitos outros lugares como em
http://www.ics.uci.edu/~eppstein/161/960312.html
(apesar de falar em numeros, é tudo equivalente)
que nao deixavam dúvidas em relaçao a existencia do
procedimento...é uma questao até de logica da prova
mesmo...se halt existe entao chegamos num absurdo,
logo halt nao existe.....observe que no meu exemplo, o
algoritmo nao pára assim como o seu :)

Valeu....

"O Binômio de Newton é tão belo como a Vênus de Milo.
O que há é pouca gente para dar por isso... "
Fernando Pessoa - Poesias de Alvaro Campos

_________________________________________________________________
As informações existentes nessa mensagem e no(s) arquivo(s) anexado(s) 
são
para uso restrito, sendo seu sigilo protegido por lei. Caso não seja
destinatário, saiba que leitura, divulgação ou cópia são proibidas. 
Favor
apagar as informações e notificar o remetente. O uso impróprio será 
tratado
conforme as normas da empresa e a legislação em vigor. Agradecemos sua
colaboração.


The information mentioned in this message and in the archives attached 
are
of restricted use, and its privacy is protected by law. If you are not 
the
addressee, be aware that reading, disclosure or copy are forbidden. 
Please
delete this information and notify the sender. Inappropriate use will 
be
tracted according to company's rules and valid laws. Thank you for your
cooperation.

__________________________________________________
Converse com seus amigos em tempo real com o Yahoo! Messenger 
http://br.download.yahoo.com/messenger/ 
=========================================================================
Instruções para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~nicolau/olimp/obm-l.html
=========================================================================