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.
======================
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
--
-----------------------------------------------
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
--
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/CA%2Bob58Mj8u48NPExNm0%2BAK4q%3D_onu6w69oD-yUaK58XjO_pTNg%40mail.gmail.com.
