Physicists believe that new phenomena in quantum computing might be relevant at the singularities of black holes and Big Bang, but not in something like the brain that operates at typical temperatures with ordinary chemistry. While, Penrose holds that there are statements of arithmetic that human beings understand but formal systems cannot prove.