Caro Walter,
Muito obrigado por compartilhar esse material sobre a conjectura de Collatz
e o problema do castor ocupado - eu desconhecia essa conexão.
Parece-me que certa variação do método do Lehtonen [1] de codificação das
configurações das computações de uma Máquina de Turing na imagem de uma
Te mando.
Sent from my iPhone
> On 21 Jul 2021, at 14:47, Eduardo Ochs wrote:
>
> Os mortais querem saber os detalhes do que os deuses demonstraram pelo
> telefone
>
>> On Wed, 21 Jul 2021 at 14:36, Walter Carnielli wrote:
>>
>> Oi Doria,
>>
>> mas se você se provaram, mesmo sem saber o
Os mortais querem saber os detalhes do que os deuses demonstraram pelo telefone
On Wed, 21 Jul 2021 at 14:36, Walter Carnielli wrote:
>
> Oi Doria,
>
> mas se você se provaram, mesmo sem saber o significado, pode ser muito
> interessante .
>
> Como foi essa prova?
> Onde está essa prova ?
>
>
Oi Doria,
mas se você se provaram, mesmo sem saber o significado, pode ser muito
interessante .
Como foi essa prova?
Onde está essa prova ?
abraço
W.
Em qua., 21 de jul. de 2021 09:54, Famadoria escreveu:
> O Kreisel, há uns trinta anos, repassou ao Newton e a mim uma conjectura
> segundo
O Kreisel, há uns trinta anos, repassou ao Newton e a mim uma conjectura
segundo a qual a função contraexemplo para P=NP cresceria nos picos ao menos
tão rápido quanto o Busy Beaver. Embora tenhamos dúvidas sobre o significado
disso, provamos esse resultado nalgum canto.
Sent from my iPhone
O "Problema do Castor Ocupado" (Busy Beaver ) foi proposto por TIbor
Rado em 1962 como um exemplo concreto de uma função que nao é
computável por Máquinas de Turing (cresce mais rápido que qualquer
função computável).
Rado propôs em 1962 uma competição, para que se escrevesse a menor
máquina
