It's not just hand-wavy. It's outright wrong. The size of the search space isn't just exponential in the amount of history -- that's the number of possible histories. The number of mappings from histories to positions is doubly exponential, so they can't even be uniquely described in less than exponential space.