Forever undecided: A puzzle guide to Gödel