Slide 1 Logic Slide 2 Unsolvability results also imply unprovability in logics Logics we will look at (all very briefly) –Aristotelian logic –Euclidean geometry –Propositional…