"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

[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 

--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logi...@dimap.ufrn.br>
---
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+u...@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.