[ciência] Outro exemplo

[Francisco Antonio Doria]

Alain Aspect propôs um problema de decisão em teoria de emaranhados quânticos: construir um algoritmo cujo input é uma função de onda de Schrödinger, e cujo output nos diga se tal função descreve ou não partículas emaranhadas.

O problema é indecidível. Não existe tal algoritmo. Tem duas provas: uma, de Wayne Myrvold, e outra que Newton e eu demos (não publicamos). 

--

fad

ahhata alati, awienta Wilushati