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

2005-05-03 Por tôpico Chicao Valadares
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

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

2005-04-13 Por tôpico Ronaldo Luiz Alonso
Chicão escreveu: Todo matematico que se preze possui, nem que seja um pouquinho, um desejo de saber mais que os outros :p... Assim como todo atleta. Mas até onde nosso cérebro consegue armazenar coisas? Li num livro de neurosciência um cara que armazenava pi com 30.000 casas decimais.