From: Antonio Marmo <marmo...@gmail.com>
Date: 24 October 2019 18:53:47 GMT-3
To: Walter Carnielli <walter.c...@gmail.com>, logi...@ufrn.br
Subject: Re: [Logica-l] RE: Quantum supremacy reached?
Caro Walter,Há dois problemas quando os grandes jornais e revistas não-acadêmicas publicam esse tipo de notícias:Primeiro que nem sempre explicam direito para o leitor o que se passa. Na vontade de “resumir” a informação, omitem detalhes ou conceitos que seriam importantes para as pessoas entenderem o que resultado de uma pesquisa científica.Segundo que do modo como eles abordam o desenvolvimento tecnológico, misturam a construção física de aparelhos com conceitos abstratos por detrás dessa construção. E isto é uma confusão muito presente no imaginário popular.Dou um exemplo mais banal: outro dia estava eu tentando explicar que os problemas de lógica que interessam à computação ou vice-versa têm em mente sempre algo a ver com uma máquina. Mas, estava eu pensando em máquinas de Turing ou conceitos assemelhados. A pessoa que me ouviu teimou que não, que nem sempre tem relação com uma máquina. Mas, isto porque na mente dele máquina é uma geringonça concreta, feita de metal, que a gente liga a uma tomada elétrica, etc. Como eu estava bastante extenuado, levei um longo tempo para perceber qual seria a razão de tanta teimosia e não me importei de explicar mais.Acho que teria feito melhor ao recomendar o teu livro sobre computabilidade. Cansava-me menos. Talvez fosse o caso de você dar uma entrevista a respeito do tema juntamente com alguém da computação. Pelo menos você já escutou tanta pergunta em cursos, já tem uma ideia das possíveis dúvidas que normalmente pairam na mente do público.Most problems of teaching are not problems of growth but helping cultivate growth. As far as I know, and this is only from personal experience in teaching, I think about ninety percent of the problem in teaching, or maybe ninety-eight percent, is just to help the students get interested.Noam ChomskyOn 24 Oct 2019, at 14:12, Walter Carnielli <walter.c...@gmail.com> wrote:A Tese de Church-Turing Forte (ou "Extended Church-Turing Thesis",
--
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 logica-l+u...@dimap.ufrn.br.
Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CA%2Bob58Mj8u48NPExNm0%2BAK4q%3D_onu6w69oD-yUaK58XjO_pTNg%40mail.gmail.com.