True, but I'd like to see this put to the practical test of three doors with goats and a car. Not on a computer, but with three doors. If the test is run a couple hundred times, that should give us actual proof of the solution.

Apparently, David Hilbert has little or no understanding of poetry.