Category: proof

https://en.wikipedia.org/wiki/Common_knowledge_(logic) There is a well known logic probably which beautifully introduces the difference between fact and knowledge. This is the problem of the green-eyed islanders. Imagine that there exists an island on which everyone...