Ronaldo Luiz Alonso escreveu:
> ....um cara que armazenava pi com 30.000 casas
>decimais.
> Ele usava um truque que era dividir pi em
> blocos de 10 d�gitos e blocos de
> 10 d�gitos em blocos de 10 d�gitos e por a� vai.
Cada maluco com sua mania...quando eu era mais
novo,fazia um curso de astronomia e tinha um cara que
s� observava Jupiter, se voce o convidasse p/ observar
qualquer outro corpo celeste ele se negava...o
miser�vel sabia tudo em rela�ao a Jupiter,mas tudo
mesmo, ele era pior(ou melhor :) ) que esse povo que
sabe tudo de vida de artista :p
Prefiro usar genios da humanidade como exemplo de
cerebros desenvolvidos....sem sombra de duvidas deve
haver algum mecanismo cerebral favoravel....
>Neste caso isso significaria, em termos
> pr�ticos,
> que o conjunto de axiomas utilizados
> � inconsitente, pois na matem�tica n�o pode haver
> contradi��o.
Basta ter a aritmetica de Peano p/ ter pelo menos uma
proposi�ao verdadeira e falsa....como vc ja citou,
mesmo colocando ou trocando axiomas ainda assim nao
adianta...
>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
> A implica��o filos�fica de tudo isso �
> sempre existe expans�o do conhecimento humano
> e apenas n�s humanos podemos saber o que � plaus�vel
> acrescentar em termos axiom�ticos.
>
> O computador n�o pode fazer isso, pois demoraria
> s�culos, mas a mente humana sempre poderia.
Vou arriscar....Principio antropico...As coisas sao
desta forma porque se nao o fossem, nao haveriam
homens para observa-las....
Abra�os ;)
"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.
Yahoo! Acesso Gr�tis - Internet r�pida e gr�tis.
Instale o discador agora! http://br.acesso.yahoo.com/
=========================================================================
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
=========================================================================
