Star Trek, for being a show about the distant future and extraordinarily high-tech equipment, sure seems to be lacking a lot of computer programmers. With technology as complex as it is, where are all the starship-based computer programmers responsible for preventing AI malfunctions aboard ship...

Inspired by: Conjecture on NP-completeness of tesselation of Wang Tile up to finite size And the practicality of this topic (solving tessellation on a lattice): coloring in lattice Computational approach deciding whether a set of Wang Tile could tile the space up to some size Reference for W...

When introducing logic in a first semester university course, the examples I use are often quite artificial. One example: One of three kids (Annie, Bob, Chris) has broken a window. Annies says "it was Bob", Bob says "it was Chris", Chris says "exactly one of them is lying". You know that all thre...