Tupper's Self-Referential Formula

I read about this function a while ago, but I had no idea how it was derived.  This is a great explanation of how it works.