J. Boyd, “PDE boundary conditions that eliminate quantum weirdness: a mathematical game inspired by Kurt Gödel and Alan Turing”, JAM, vol. 20, pp. 211–239, Jun. 2021.