![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEivhHXxrAqCPI7NLW3Bmr-7JPF4eDocrnmgdHcjKbP6X5Ne162qDsK0sjAg5MrYAy5SRE_p-Gwwelyb5XKKRS68CvUNxt1-E7zHh7HVK-0WOZWHL90CYMkDM5Mn-0wCVVbYIlk3XQ/s200/Epimenides.jpg)
These types of statements were the inspiration for the title of this blog, "The Honest Hypocrite". Hypocrites say one thing and do another, but if I admit that I say one thing and do another then I really am correcting what I say to what I did so I am not a hypocrite, am I. But I just said I was, and so it goes around and around.
Set theory can produce a similar contradiction, Russell's Paradox: The set of all sets that do not contain themselves as members. Russell discovered this paradox while working on Cantor's theorem which was important in understanding infinity and may have driven Cantor insane. Thus these statements are important to mathematics and can be dangerous in and of themselves.
These types of results led to the celebrated Godel's Incompleteness Theorem which says that you can never create a complete and consistent finite list of axioms, or even an infinite list that can be produced by a computer program. Each time you add a statement as an axiom, there will always be other true statements that still cannot be proved as true, even with the new axiom. Those paradoxes above will still pop into your mathematical theorems or your life, no matter how hard you try to avoid them or fix them.
No comments:
Post a Comment