Re: [Logica-l] Eleição para Diretoria da SBL 2021 - Cédula de Votação

2021-03-03 Por tôpico Julio Stern
Caros: Confesso que nao vou ao correio votar pois, idoso (oficialmente) e cardiaco, estou em quarentena. Seria melhor mudar os estatutos e fazer a votacao eletronica. Todavia, nestes tempos de pandemia, tambem NAO acho razoavel pedir aa atual ou aa futura diretoria que saia por ai tratando com

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

2021-03-03 Por tôpico Alfredo Roque Freire
Olá Rodrigo, Você diz que "Em nenhum momento é dito nada sobre real, racional ou irracional". Porém, afirma na sua primeira mensagem que "mas me parece que construído dessa maneira, acaba derrubando o ponto central da argumentação do Cantor". O que seria, nesse caso, esse ponto central da

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

2021-03-03 Por tôpico Joao Marcos
> T é descrita somente como "Seja T o conjunto T de todas as sequências > infinitas de dígitos binários." Corrigindo: "Seja T o conjunto 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

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ções e percebo que minha

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

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

2021-03-03 Por tôpico Joao Marcos
> é 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

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

2021-03-03 Por tôpico Walter Alexandre Carnielli
Olá Rodrigo, é 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... Abraços, Walter Em qua, 3 de mar

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

2021-03-03 Por tôpico Alfredo Roque Freire
Olá Rodrigo. O problema no argumento que fez é que o modo como enumerou números reais não captura todos os números reais. No argumento de Cantor, supomos *(por contradição) *que a *lista de todos os reais* é contável. O que você fez não foi isso. Você mostrou um modo de listar números reais. Mas

Re: [Logica-l] Eleição para Diretoria da SBL 2021 - Cédula de Votação

2021-03-03 Por tôpico Gisele Secco
Caros Desculpem a pressa. O Rio Grande do Sul no momento é todo uma grande bandeira preta, com uma aura de velório, sabe-se lá até quando, e eu só saio para levar meus cachorros para rápidas voltas no quarteirão até quinta ordem. Abraços e obrigada, G. Le mer. 3 mars 2021 à 17:49, Walter

[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

Re: [Logica-l] Eleição para Diretoria da SBL 2021 - Cédula de Votação

2021-03-03 Por tôpico Walter Alexandre Carnielli
Cara(o)s: dando meu palpite aqui, bastaria que o advogado entrasse com um mandado de segurança simples e barato, e o juiz daria em poucos dias uma liminar para que a votação fosse feita de maneira eletrônica, em virtude da pandemia. Qualquer banco e cartório aceitaria, mas enfim como não foi

Re: [Logica-l] Eleição para Diretoria da SBL 2021 - Cédula de Votação

2021-03-03 Por tôpico Joao Marcos
Parece-me que atualizações emergenciais em regimentos escritos no tempo do onça são essenciais! (e deveriam ser levadas em consideração pelos agentes jurídicos racionais envolvidos) Por outro lado, no que diz respeito à visita aos Correios, também não me parece clara qual a diferença que o meu

Re: [Logica-l] Eleição para Diretoria da SBL 2021 - Cédula de Votação

2021-03-03 Por tôpico Bruno Lopes
Oi, Marcelo! O regimento atual não prevê viação eletrônica e, ao consultar um advogado, ele orientou que se o fizéssemos o banco poderia rejeitar a ata de eleição e bloquear o acesso à conta. Há uma comissão revendo o estatuto para propor modernizações como essa, mas infelizmente isso também tem

Re: [Logica-l] Eleição para Diretoria da SBL 2021 - Cédula de Votação

2021-03-03 Por tôpico Francisco Miraglia Neto
Caros, Apoio à proposta do Marcelo, por exatamente a mesma razão. Abraços, Chico Miraglia > On 3 Mar 2021, at 15:18, Marcelo Finger wrote: > >  > Caros. > > Gostaria de sugerir mui respeitosamente que a próxima eleição da SBL > contemple a alternativa de votação eletrônica. Estamos

[Logica-l] Eleição para Diretoria da SBL 2021 - Cédula de Votação

2021-03-03 Por tôpico Marcelo Finger
Caros. Gostaria de sugerir mui respeitosamente que a próxima eleição da SBL contemple a alternativa de votação eletrônica. Estamos entrando na fase vermelha e sei lá quando poderei ir ao correio. Com meus votos de muita saúde a todos []s -- Marcelo Finger Departament of Computer Science,