Where were we: Boaz Barak proposed a “law of nature” that if there is a physical device that can make a certain computation C, then there is a quantum circuit that computes C. 1/11
@boazbaraktcs @quantum_aram @AspectStalence @RosenblumSerge
Aram remarked that Boaz's proposed law is a variant of the strong Church Turing thesis. Correct! 2/11
I proposed a refinement of the general law. There are cases where we can analyse classes of devices (or natural processes) and can conclude that for them there is even a classical circuit that computes what they compute. 3/11
I gave a few examples 1) Computations that take place in Boaz's laptop can be carried out by a classical circuit.
4/11
2) Computations carried out by Boaz's brain can be carried out by a classical circuit. 5/11