I was unhappy with having an uncomputable decision process, but I realize now that isn’t important—we can approximate it, but only if it exists. The paper is about whether it exists atall.
I was unhappy with having an uncomputable decision process, but I realize now that isn’t important—we can approximate it, but only if it exists. The paper is about whether it exists atall.