[isabelle] DAGs Miracle
Once upon a time there was a group reasoning about the cause of a
phenomenon. They all arrived at the same point of time and space, let's
call it <n>. Most of them knew that they had started at <0>, let's name
it <m>. So they agreed upon <m> being the origin of all good and evil
they encountered. They discussed a lot of details in the neighbourhood
of <n> and were happy for a while. There was also a minority feeling
suppressed by the noise of the masses. They did not dare to stir the
majority and went their own way. And they all lived happily ever after?
Does anybody have a proof for this 'big numbers' riddle?
This archive was generated by a fusion of
Pipermail (Mailman edition) and