I don't remember the whole story, but the original username I was going to use was going to be gödel and then something about incompleteness. Since Unicode isn't allowed for usernames here, I changed it to this.