Quantum supremacy reached?

22 views
Skip to first unread message

Joao Marcos

unread,
Oct 23, 2019, 6:54:49 PM10/23/19
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
Dois bons links para começar a se informar sobre o assunto do momento:

https://www.scottaaronson.com/blog/?p=4372
https://www.scottaaronson.com/blog/?p=4317

E um video de três minutos para quem tem pressa de saber do que se trata:
https://www.youtube.com/watch?v=vTYp5Kd9nMA

Para o bem ou para o mal, a notícia está estampada nos principais
jornais do mundo.

O artigo da Google está na Nature de hoje:
https://www.nature.com/articles/s41586-019-1666-5
A crítica da IBM está no ar desde anteontem:
https://www.ibm.com/blogs/research/2019/10/on-quantum-supremacy/
https://arxiv.org/abs/1910.09534


JM

Walter Carnielli

unread,
Oct 24, 2019, 1:12:33 PM10/24/19
to Lista dos Logicos Brasileiros
A Tese de Church-Turing Forte (ou "Extended Church-Turing Thesis",
ECT) é em geral descrita como:

"A probabilistic TM can efficiently simulate any realistic model of
computation".

Embora o artigo da Nature de 23/10/*2019 assinado por dezenas de
autores ("Quantum supremacy using a programmable superconducting
processor")

diga :
"Our experiment suggests that a model of computation may now be
available that violates this [ECT] assertion."

muita gente já está se apressando em dizer que a "supremacia
quântica" (já sendo chamada de "vantagem quântica " ou
"superioridade quântica", por sua reminiscência com a "supremacia
branca") derrubou a ECT.

A Folha de São Paulo de dois dias atrás não perdeu tempo em errar, e
copiou de algum lugar que a Google teria "derrubado a Tese de
Church". Bobagem, a Extended Church-Turing Thesis não tem nada a
ver com Church, nem com Turing, nem com a Tese de Church-Turing
original.

W.

======================
--
-----------------------------------------------
Walter Carnielli
https://waltercarnielli.com/

Centre for Logic, Epistemology and the History of Science and
Department of Philosophy
State University of Campinas –UNICAMP
13083-859 Campinas -SP, Brazil

CV Lattes : http://lattes.cnpq.br/1055555496835379

Antonio Marmo

unread,
Oct 24, 2019, 5:55:55 PM10/24/19
to logi...@dimap.ufrn.br


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 Chomsky 

Begin forwarded message:

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 Chomsky 

On 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.
Reply all
Reply to author
Forward
0 new messages