[math-fun] What if Turing/Shannon/Bekenstein were wrong?