Tupper’s self-referential formula #whoa

Learning about this has made my brain quietly implode.

“Tupper’s self-referential formula is a self-referential formula defined by Jeff Tupper that, when graphed in two dimensions, can visually reproduce the formula itself. It is used in various math and computer science courses as an exercise in graphing formulae.

Specifically (From Wikipedia):

The formula is an inequality defined by:

{1\over 2} < \left\lfloor \mathrm{mod}\left(\left\lfloor {y \over 17} \right\rfloor 2^{-17 \lfloor x \rfloor - \mathrm{mod}(\lfloor y\rfloor, 17)},2\right)\right\rfloor

where \lfloor \cdot \rfloor denotes the floor function and mod is the modulo operation.

Let k equal the following:


If one graphs the set of points (x,y-k) with 0 \le x \le 106 and k \le y \le k + 17 such that they satisfy the inequality given above, the resulting graph looks like this:

Related Topics


David (@ng_dave) is Faculty at the Michael Smith Labs. His writing has appeared in places such as McSweeney's, The Walrus, and boingboing.net. He plans on using Terry as another place to highlight the mostly science-y links he appreciates.In fact, if you liked this one, you might also like his main site generally - this can be found at popperfont.net.

Leave a Reply

Basic HTML is allowed. Your email address will not be published.

Subscribe to this comment feed via RSS