Undecidability in quantum thermalization