mfb said:
There is also zero experimental evidence that, if you flip coins long enough, eventually you'll get 100 heads in a row. There is also zero evidence that you'll get a million heads in a row. But do you really doubt that?In every finite volume: yes.
It isn't so clear what is physically, rather than mathematically, meant by this. The maths is clear. But, the expected time is so long that the physical conditions to continue the experiment may not be physically able to prevail for long enough.
There are some mathematical things that are not realisable, as I know you know. This is not in that category, as it could happen at the first attempt. But, it perhaps falls into a category of things that are physically insignificant. The old QM prediction that we might walk through a solid wall, for example. That has no physical significance.
The fact that you could throw 100 heads in a row is possibly of no physical significance.
To take another example of the wretched monkey typing the complete works of Shakespeare. The maths is clear, but it is wrongly applied in that case. It assumes that monkeys behave in a way (eternally typing random characters) which they do not. So, the statement that eventually a monkey will produce the complete works of Shakespeare (which I know some mathematicians would defend) is, in my view, a mathematical model wrongly applied to a physical situation. In fact, one could argue that it makes a mockery of mathematics, but that's another matter.
If we turn to a computer program generating random characters, we are on more solid ground. We can estimate how long we expect to wait until we get any word, phrase, sentence, act, play etc.
But, if these timescales are longer than we can expect the computer, human civilisation and possibly the universe to endure, then what do we mean by "eventually it must happen". A more accurate statement might be:
If this process continued at 1 character per Planck time for n trillion years (expected lifetime of the universe where the experiment could continue), then the probability of getting the "to be or not to be" soliloquy is, say, ##10^{-100}##.
Now, mathematically this means nothing, because we are sure mathematically of what infinity means.
But, physically, this is significant, because we are not sure what "infinite" time really means. Infinite time cannot be physically conjured by an axiom, the way it can mathematically.
That, to me, is at least an analysis of why you can't
necessarily apply the conclusions of mathematics to the physical universe in these cases.