Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Can anyone please explain exactly how formulas like Tupper's self referential formula can be constructed?

I'll like to see the reasoning behind the derivation of such formulas and the steps required to create a new one.

NOTE: I know Tupper's self referential formula is not as 'self referential' as it is claimed but some form of 'universal' formula capable of producing any bitmap of a given size, given the value of N.

share|cite|improve this question
up vote 3 down vote accepted

The formula can produce any 17 bit high image. The secret of finding the self-referential image is in the constant $k$, essentially knowing where to look. How to determine $k$ is given in the article you link to: "The constant k is a simple monochrome bitmap image of the formula treated as a binary number and multiplied by 17. If k is divided by 17, the least significant bit encodes the top right corner; the 17 least significant bits encode the rightmost column of pixels; the next 17 least significant bits encode the 2nd rightmost column, and so on." Just take the image you want, express it in binary, and you have $k$.

share|cite|improve this answer
I'm already aware of that. I want to know how the formula was derived. Thanks anyway! – Obinna Okechukwu Apr 8 '12 at 15:43

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.