31 ms·
It's also amusing to see a mathematician be more convinced by the computer simulation than the proof.
by emilga 7y ago
It's also amusing to see a mathematician be more convinced by the computer simulation than the proof.
- CobrastanJorji 7y agoReminds me of the Knuth quote: "Beware of bugs in the above code; I have only proved it correct, not tried it."
- abeppu 7y agoWell, it's also amusing to me that people want to jump to simulations that generate a large number of examples. In the original 3-door version of it, it's reasonable to exhaustively list all the possible sequences and just tally up the outcomes under each strategy. The simulation is just sampling from this not-that-long list.