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

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, Color

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

"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 ár

[Logica-l] MESTRADO e DOUTORADO em COMPUTAÇÃO na UFF - 2024.1

INSCRIÇÕES ABERTAS para MESTRADO e DOUTORADO em COMPUTAÇÃO na UFF *EDITAL de SELEÇÃO* para ingresso no primeiro período de 2024 disponível em: https://www.ic.uff.br/processo-de-selecao *PERÍODO de INSCRIÇÃO*: 06/novembro a 11/de

[Logica-l] Um argumento de ponto fixo em Lógica: o Teorema da Reflexão de Lévy

Caros Saudações, Estão disponibilizadas no nosso canal do YouTube (Mathematical Logic UFBA) dois seminários que apresentei sobre o "Teorema da Reflexão de Lévy", que é um teorema importantíssimo de Teoria dos Conjuntos (parte do arcabouço teórico da técnica de forcing) e que eu encontrei uma