Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] DAGs Miracle


view this post on Zulip Email Gateway (Aug 19 2022 at 14:28):

From: "Jens-D. Doll" <jd@cococo.de>
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?

Smile,
Jens


Last updated: Mar 28 2024 at 16:17 UTC