Keith Douglas' Web Page

About me Find out who I am and what I do.
My resumé A copy of my resumé and other documentation about my education and work experience for employers and the curious.
Reviews, theses, articles, presentations A collection of papers from my work, categorized and annotated.
Current research projects What I am currently working on, including some non-research material.
Interesting people People professionally "connected" to me in some way.
Interesting organizations Organizations I am "connected" to. (Some rather loosely.)
Intellectual/professional influences Influences on my work, including an organization chart. Here you can also buy many good books on philosophy and other subjects via I have included brief reviews of hundreds of books.
Professional resources Research sources, associates programs, etc.
What is the philosophy of computing? A brief introduction to my primary professional interest.
My intellectual heroes A partial list of important people. Limited to the dead.
My educational philosophy As a sometime teacher I've developed one. Includes book resources.

Book Influences - Logic: Puzzles

Purchase / Enjoy Cover
Challenging False Logic Puzzles Willis Slim book of logic games and puzzles.
Lady or the Tiger Smullyan Fun logic puzzles.
The Hidden Logic of Sudoku Berthier This dense monograph examines several "resolution rules" and their effects on the solvability of Sudoku puzzles. The rules are chosen to avoid trial and error and organized roughly in complexity. An interesting (and in my limited experience) novel approach to many of the rules emphasizes how Sudoku is really a three dimensional puzzle (row, column, number). That might explain why I have trouble visualizing some of the principles. Alas, a lot of the book is just illustration and not much analysis. Computational complexity results do come up - stating that the generalized Sudoku resolution is NP complete. But this is of little interest if one is only ever playing the 9x9x9 game. It is also interesting to see how the "resolution rules" change if one changes the (usual) assumption that the puzzle has a solution. If one is agnostic, certain do not apply. In my view, the next work in this area should focus on mistakes in the game, and how they can be characterized logically. This is where the semi-silly idea of "paraconsistent Sudoku" I shared with my dear friend Audrey Yap comes in.


Finished with this section? Go back to the list of book subjects here.