[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 MHonArc.