Formula di Tupper
# Formula di Tupper

La formula di Tupper è una disuguaglianza pubblicata nel 2001 da Jeffrey Allen Tupper.

La formula autoreferenziale, presente nell'articolo di SIGGRAPH relativo al software GrafEq, è la seguente:

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

Il suo grafico, per $0\leq x\leq 106$ e $k\leq y\leq k+17$ produce un'immagine della formula stessa, per $k=$

La costante è in realtà un'immagine binaria. Dividendo il numero per 17, si ottiene che i bit formano una rappresentazione per colonne della matrice di pixel.

