daviddoji/pytudes
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Add files via upload

Browse Source
This commit is contained in:
Peter Norvig 2020-04-19 16:13:07 -07:00 committed by GitHub
parent 507d42f8f1
commit 8f087b783b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
ipynb/Cheryl.ipynb
View File

@ -284,7 +284,7 @@
"cell_type": "markdown",
"metadata": {},
"source": [
"We haven't solved the puzzle yet, but let's take a peek and see which dates satisfy statement 3:"
"We haven't solved the puzzle yet, but let's take a peek and see which dates satisfy Albert's statement:"
]
},
{
@ -335,7 +335,7 @@
"cell_type": "markdown",
"metadata": {},
"source": [
"Let's see which dates satisfy both statement 3 and statement 4:"
"Let's see which dates satisfy both Albert and Bernard's statements:"
]
},
{
@ -364,7 +364,7 @@
"source": [
"Wait a minute—I thought that Bernard **knew**?! Why are there three possible dates? \n",
"\n",
"Bernard does indeed know; it is just that we, the puzzle solvers, don't know. That's because Bernard knows something we don't know: the day. If Bernard was told `'15'` then he would know `'August 15'`; if he was told `'17'` he would know `'August 17'`, and if he was told `'16'` he would know `'July 16'`. *We* don't know because we don't know which of these is the case. We'll need more information (coming in statement 5) before *we* know.\n",
"Bernard does indeed know; it is just that we, the puzzle solvers, don't know. That's because Bernard knows something we don't know: the day. If Bernard was told `'15'` then he would know `'August 15'`; if he was told `'17'` he would know `'August 17'`, and if he was told `'16'` he would know `'July 16'`. *We* don't know because we don't know which of these is the case. We'll need more information (coming in statement `albert2`) before *we* know.\n",
"\n"
]
},
@ -374,7 +374,7 @@
"source": [
"## 5. Albert: Then I also know when Cheryl's birthday is.\n",
"\n",
"Albert is saying that after hearing the month and Bernard's statement 4, he now knows Cheryl's birthday:"
"Albert is saying that after hearing the month and Bernard's statement, he now knows Cheryl's birthday:"
]
},
{