In his “The Potential Hierarchy of Sets”, Review of Symbolic Logic 6:2 (2013), 205-28 Øystein Linnebo has proposed a modal set-theory. I was wondering what kind of utility can such a theory have for a mathematician and if there have been other similar attempts to develop theories of that kind.
In the second episode “The Junior Professor Solution” of the 8th season of the Big Bang Theory, there exists a brief moment where Sheldon Cooper references one of his boards with what for a brief moment looked like a bunch of statements in some formal system which has modal operators and quantification. But there also […]
I read the Blue Eyes puzzle here, and the solution which I find quite interesting. My questions: What is the quantified piece of information that the Guru provides that each person did not already have? Each person knows, from the beginning, no fewer than 99 blue-eyed people to be on the island. Then how is […]