Re: [Logica-l] "Can the Collatz conjecture be proven, or not?"

[Walter Carnielli]

Muito interessante.  Adoro este terrivel problema :-)

Vou checar a "prova " dos poloneses, mas acontece que certas
generalizações  ja foram provadas indemonstraveis:


John Conway. Unpredictable iterations.in: Proceedings of the 1972 Number
Theory Conference, University of Colorado, Boulder, Colorado, 1972, pp.
49-52


The Undecidability of the Generalized Collatz Problem. S. Kurtz, Janos Simon.
Theory and applications of models of computation. 4th international
conference, TAMC 2007, Shangai


Tenho tentado provar que generalizações  das minhas (infinitas)  versões de
Collatz também seriam  indemonstraveis, mas não consegui:


W.A. Carnielli. Some Natural Generalizations of the Collatz Problem.
APPLIED MATHEMATICS E-NOTES 15 n. p. 207-215 2015.

https://www.math.nthu.edu.tw › ~amen ›


Abs,

Walter







Em qua., 1 de nov. de 2023 23:42, Eduardo Ochs 
escreveu:

> "Can the Collatz conjecture be proven, or not?"
> https://www.hansdieterhiep.nl/is-collatz-conjecture-now-proven/
>
> (Obs: achei as partes que eu entendi bem interessantes, mas eu sou
> leigo no assunto...)
>
>   [[]],
> Eduardo
>
> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de
> Lógica 
> ---
> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos
> Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie
> um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para acessar essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CADs%2B%2B6hO7L3WHbkGE3vaxP2hNfHJmmG1_qgX5TP65QYQzN44Ng%40mail.gmail.com
> 
> .
>

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para acessar esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLems8VYohoboJDBsAT0YevdtnXDDd4zhLK_mFH78Ratmw%40mail.gmail.com.

[Logica-l] "Can the Collatz conjecture be proven, or not?"

[Eduardo Ochs]

"Can the Collatz conjecture be proven, or not?"
https://www.hansdieterhiep.nl/is-collatz-conjecture-now-proven/

(Obs: achei as partes que eu entendi bem interessantes, mas eu sou
leigo no assunto...)

  [[]],
Eduardo

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para acessar esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CADs%2B%2B6hO7L3WHbkGE3vaxP2hNfHJmmG1_qgX5TP65QYQzN44Ng%40mail.gmail.com.