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