Stroom wrote: ↑07 October 2024, 15:47
Maybe there could be some kind of probabilistic proof that it does matter
It doesn't matter because the order of the remaining cards had no effect in the game up to that point, so whatever the result after shuffling, you can just pretend the cards were in that order from the beginning, with the same probability.
Say there are two cards remaining: 1 and 2. They're either 1,2 or 2,1, 50-50. Now you put the 3 back and shuffle: no matter where the 3 ends, still the 1 is either before or after the 2, still 50-50. No one could see what it was, so instead of choosing one again, just keep the old choice.
similar to Monty Hall problem
The trick with the Monty Hall problem is that Monty
knows what's behind each door and will
always open a door with a goat. If he didn't know, or if he would act randomly (or arbitrarily), there would be no benefit in changing. Same here, there's no information on the remaining deck, so no need to shuffle. In real life, you could ask an external person to secretly put the card back in a random position without shuffling, and (provided this person is truly random) it would also be the same.