title: Formula di Tupper
text: # 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.
  
  