Recent content by Cartophilus

Are you talking about Kurt Gödel's incompleteness theorems? Gödel, Escher, and Bach had a lot of stuff on paradoxes so your professor might have mentioned that. One of the simpler ways to show the concept is that if you want to prove something, you have to prove the proof, and that proof, and so...