The 'Hardest Logic Puzzle Ever' involves determining the identities of three gods named True, False, and Random. The puzzle was created and published in 1996 by which philosopher and logician?