If humans can reason, then physics allows it, and software can too, eventually.