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 <[email protected]> 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 <[email protected]> > --- > 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 [email protected]. > 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 > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CADs%2B%2B6hO7L3WHbkGE3vaxP2hNfHJmmG1_qgX5TP65QYQzN44Ng%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <[email protected]> --- 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 [email protected]. 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.
