Forever Undecided

presented by Jason Aubrey
September 22, 2016

In this workshop we will explore some fun and interesting logic puzzles. We will develop some tools for systematically exploring these puzzles, and discuss their relationship to the famous Goedel Incompleteness Theorems in mathematics.