Re: [Logica-l] Reflexões acerca do argumento de diagonalização de Cantor.

2021-03-04 Por tôpico Rodrigo Pinto
Obrigado a todos pelas observações. Meu ponto (ao menos um deles) é que ao escolhermos uma enumeração específica podemos determinar a sequência que não faz parte da enumeração. Isso ainda me parece ser verdadeiro. Mas isso não me leva a nenhuma outra conclusão. Um outro ponto que me parece ser

Re: [Logica-l] Reflexões acerca do argumento de diagonalização de Cantor.

2021-03-03 Por tôpico Rodrigo Pinto
quando eu disse "Em nenhum momento é dito nada sobre real, racional ou imaginário ", eu quis dizer "Em nenhum momento é dito nada sobre real, racional ou irracional" On Wednesday, March 3, 2021 at 10:21:31 PM UTC-3 Rodrigo Pinto wrote: > Creio entender as argumentaç

Re: [Logica-l] Reflexões acerca do argumento de diagonalização de Cantor.

2021-03-03 Por tôpico Rodrigo Pinto
Creio entender as argumentações e percebo que minha linha argumentativa se dirige a um precipício, mas gostaria de fazer uma observação. Em nenhum momento é dito nada sobre real, racional ou imaginário (sim, eu sei que é isso que está por trás). T é descrita somente como "Seja T o conjunto T de

[Logica-l] Reflexões acerca do argumento de diagonalização de Cantor.

2021-03-03 Por tôpico Rodrigo Pinto
Boa noite, sou engenheiro eletrônico (computação) mas gosto muito de algumas áreas da matemática e da lógica (Godel, Cantor entre outros). Acredito que minhas reflexões a respeito do argumento de diagonalização de Cantor não sejam off-topic numa lista de lógica, e espero que meu meu texto atraia