Machines, logic and quantum physics