Mathematicians love the certainty of proofs. This is how they verify that their intuition matches observable truth.

Blue Prince, this spring’s buzzy and wildly engrossing indie sensation, is a terrific reminder of something video games do tremendously well: Puzzles! The game, about exploring a mansion where the ...