I thought this was a great puzzle when I first saw it. IMHO, it is more satisfying to "think through it" without paper and pencil, since it is relatively simple to resolve. The Python solution proposed is really great, in that it captures both the expressive and functional spirit of the language.
>since it is relatively simple to solve You are overestimating how simple it is.There are more than 1200 comments on the solution on the NYTimes[1] almost all of them arguing that other dates are correct. [1] http://www.nytimes.com/2015/04/15/science/answer-to-the-sing...
When Is Cheryl's Birthday?
11–20 of 136 posts
Re: When Is Cheryl's Birthday?
#12I thought this was a great puzzle when I first saw it. IMHO, it is more satisfying to "think through it" without paper and pencil, since it is relatively simple to resolve. The Python solution proposed is really great, in that it captures both the expressive and functional spirit of the language.
>since it is relatively simple to solve You are overestimating how simple it is.There are more than 1200 comments on the solution on the NYTimes[1] almost all of them arguing that other dates are correct. [1] http://www.nytimes.com/2015/04/15/science/answer-to-the-sing...
Re: When Is Cheryl's Birthday?
#13The real puzzles are:
1. "Why did Albert speak first?"
2. "Why did he speak in such cryptic language?"
Re: When Is Cheryl's Birthday?
#14I thought this was a great puzzle when I first saw it. IMHO, it is more satisfying to "think through it" without paper and pencil, since it is relatively simple to resolve. The Python solution proposed is really great, in that it captures both the expressive and functional spirit of the language.
>since it is relatively simple to solve You are overestimating how simple it is.There are more than 1200 comments on the solution on the NYTimes[1] almost all of them arguing that other dates are correct. [1] http://www.nytimes.com/2015/04/15/science/answer-to-the-sing...
Re: When Is Cheryl's Birthday?
#15Re: When Is Cheryl's Birthday?
#16still looking for solution using RDF/OWL logical reasoning... the python solution is neat, but i have a feeling that there are tools that are more native to these kind of problems than general purpose programming language.
Translating roughly from the problem statement (x being the variable holding Cheryl's birthday):
Not(Know_Albert(x)) and Know_Albert(Not(Know_Bernard(x) etc.
Semantically, the possible birthdays correspond to the possible worlds. A reasoner would be able to solve this by process of elimination, somewhat similarly to a constraint-solver.
Resources:
Wikipedia entry on Epistemic Logic: http://en.wikipedia.org/wiki/Epistemic_modal_logic
Fagin, Ronald; Halpern, Joseph; Moses, Yoram; Vardi, Moshe (2003). Reasoning about Knowledge: http://www.amazon.com/Reasoning-About-Knowledge-Ronald-Fagin...
I haven't read the entire book, but the first couple of chapters give you an idea and some great examples not too different from this puzzle.
Re: When Is Cheryl's Birthday?
#17Re: When Is Cheryl's Birthday?
#18Re: When Is Cheryl's Birthday?
#19I thought this was a great puzzle when I first saw it. IMHO, it is more satisfying to "think through it" without paper and pencil, since it is relatively simple to resolve. The Python solution proposed is really great, in that it captures both the expressive and functional spirit of the language.
>since it is relatively simple to solve You are overestimating how simple it is.There are more than 1200 comments on the solution on the NYTimes[1] almost all of them arguing that other dates are correct. [1] http://www.nytimes.com/2015/04/15/science/answer-to-the-sing...