machines logic and quantum physics