Summer of Gödel
Friday, May 31, 2019
[Part 11] Raymond Smullyan's Certified Knights and Knaves puzzles
A new puzzle
›
Here is a completely new puzzle that (as far as I know) isn't in any of Smullyan's or anybody else's books: Every day on...
Thursday, May 30, 2019
[Part 10] Raymond Smullyan's Certified Knights and Knaves puzzles
Puzzle #6 - A new variant
›
Now that we have a JavaScript program to solve the following puzzle (see the last four posts): On another particularly interesting o...
Wednesday, May 29, 2019
[Part 9] Raymond Smullyan's Certified Knights and Knaves puzzles
Puzzle #6 - (At least) nine distinct solutions
›
Recall our sixth puzzle: On another particularly interesting occasion I came across two natives A and B each of whom made a statemen...
Tuesday, May 28, 2019
[Part 8] Raymond Smullyan's Certified Knights and Knaves puzzles
Puzzle #6 - Finding solutions using JavaScript
›
In the previous post , we discussed how to represent an entire column of a truth table as a single integer and how to perform Boolean ...
Monday, May 27, 2019
[Part 7] Raymond Smullyan's Certified Knights and Knaves puzzles
Building truth tables in JavaScript
›
In the previous post , I promised to write a JavaScript program to find formulas that satisfy a given truth table. Before we can wri...
›
Home
View web version