Olá Samuel e todos — mas isto interessa também à Valéria.
Parabéns pelo trabalho — as Categorias Dialéticas da Valéria são realmente
uma daquelas coisas em categorias que mesmo quem não "curte"
aquekas flexinhas atacando pontos pretos, acha realmente belo. Mas
confesso que não consegui entender o título *"What If Cantor Was Wrong?"*
("E se Cantor estivesse errado?") — não vejo onde, nem o texto explica.
Errado em quê? A Hipótese do Contínuo é indecidível em ZFC, então não se
trata de erro.
Vocês sabem melhor do que eu que existem teorias matemáticas perfeitamente
consistentes com CH, sem CH, e com a negação de CH. E ainda tem o Teorema
de Easton (1970) diz que para cardinais regulares, a função κ↦2κ pode ser
literalmente qualquer função que satisfaça monotonicidade e uma condição de
cofinalidade — o que torna a questão ainda mais aberta.
Então se existe algum Santo da IMO- a Igreja da Matemática Ortodoxa -
que *pudesse
es*tar errado, não é Cantor — é Gödel, que acreditava que CH deveria ter um
valor de verdade definido no universo canônico dos conjuntos. E mesmo assim
não seria bem "erro" — seria uma aposta filosófica não confirmada. A
independência de CH não é uma falha de Cantor, como vocês sabem, eh
um fantástico resultado sobre os limites do método axiomático.
Abraços, Walter
Em dom., 29 de mar. de 2026 às 14:59, <[email protected]> escreveu:
> [email protected]
> <https://groups.google.com/a/dimap.ufrn.br/forum/?utm_source=digest&utm_medium=email#!forum/logica-l/topics>
> [image:
> Logotipo do Grupos do Google]
> <https://groups.google.com/a/dimap.ufrn.br/forum/?utm_source=digest&utm_medium=email/#!overview>
> Grupos
> do Google
> <https://groups.google.com/a/dimap.ufrn.br/forum/?utm_source=digest&utm_medium=email/#!overview>
> Resumo por e-mail dos temas
> Ver todos os temas
> <https://groups.google.com/a/dimap.ufrn.br/forum/?utm_source=digest&utm_medium=email#!forum/logica-l/topics>
>
> - (Blog post) E se Cantor estava errado ?
> <#m_2751416042738835352_group_thread_0> - 1 atualização
>
> (Blog post) E se Cantor estava errado ?
> <http://groups.google.com/a/dimap.ufrn.br/group/logica-l/t/9f27c0788a5134d1?utm_source=digest&utm_medium=email>
> samuel <[email protected]>: Mar 29 02:43PM -0700
>
> https://logic-forall.blogspot.com/2026/03/what-if-cantor-was-wrong.html
> Voltar ao início <#m_2751416042738835352_digest_top>
> Você recebeu esse resumo porque está inscrito para receber atualizações
> deste grupo. Você pode alterar suas configurações na página de associação
> do grupo
> <https://groups.google.com/a/dimap.ufrn.br/forum/?utm_source=digest&utm_medium=email#!forum/logica-l/join>
> .
> Para cancelar sua inscrição neste grupo e deixar de receber e-mails do
> mesmo, envie um e-mail para [email protected].
>
--
Walter Carnielli
CLE and Department of Philosophy
University of Campinas –UNICAMP, Brazil
AI2- Advanced Institute for Artificial Intelligence
Blog https://waltercarnielli.com/
--
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 ver esta conversa, acesse
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CA%2Bob58P9MFvUJX2XOYF6FiBY2PrOR4hk8b%2Bw32MXCXc11LKYOw%40mail.gmail.com.
