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 todas as sequências infinitas de dígitos binários." e depois desenvolve o argumento como "Se s_1, s_2, ... , s_n, ... é qualquer enumeração dos elementos de T, então existe sempre um elemento s de T que não corresponde a nenhum s_n na enumeração." O problema me parece ser que ao criar uma regra para enumerar T eu acabo limitando a possibilidade de determinadas sequências aparecerem.
Obrigado Rodrigo On Wednesday, March 3, 2021 at 10:07:29 PM UTC-3 Joao Marcos wrote: > > é verdade, endosso o argumento do Alfredo: sua lista não tem nenhum > número irracional :-) > > > > E mais ainda : que número 'natural" infinito seria essa "sequência > infinita de dígitos 1"? > > > > Se entendi bem é 0,111...111..? > > > > Mas esse é um racional... > > Daí já dá para ver também que há um montão de racionais (e inclusive > _números_ racionais, haha) que ficaram de fora. > > JM > -- 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 discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/4b86bf3e-c8e0-41ac-89cf-97146341adfen%40dimap.ufrn.br.
