Tupper's self-referential formula

Link to the paper: https://www.dgp.toronto.edu/~mooncake/papers/SIGGRAPH2001_Tu...