Formula di Tupper

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

Il grafico della formula di Tupper

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

${\displaystyle {{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 ${\displaystyle 0\leq x\leq 106}$ e ${\displaystyle k\leq y\leq k+17}$ produce un'immagine della formula stessa, per ${\displaystyle k={}}$

96093937991895888497167296212785275471500433966012930665150551927170
28023952664246896428421743507181212671537827706233559932372808741443
07891325963941337723487857735749823926629715517173716995165232890538
22161240323885586618401323558513604882869333790249145422928866708109
61844960917051834540678277315517054053816273809676025656250169814820
83418783163849115590225610003652351370343874461848378737238198224849
86346503315941005497470059313833922649724946175154572836670236974546
1014655997933798537483143786841806593422227898388722980000748404719

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.

Bibliografia

• Giorgio Balzarotti, Paolo Pietro Lava, Formula auto-referenziale di Tupper, in 103 curiosità matematiche: Teoria dei numeri, delle cifre e delle relazioni nella matematica contemporanea, Hoepli.
• (EN) Jeff Tupper, Reliable Two-Dimensional Graphing Methods for Mathematical Formulae with Two Free Variables (PDF), in Proceedings of the 28th annual conference on Computer graphics and interactive techniques, ACM, 2001, pp. 77-86.

Voci correlate

• Quine (informatica)

Collegamenti esterni

• Sito ufficiale, su dgp.toronto.edu.  
• (EN) Eric W. Weisstein, Tupper's Self-Referential Formula, su MathWorld, Wolfram Research.  
• (EN) How does Tupper’s self-referential formula work?, su The Lumber Room.
•   (EN) The 'Everything' Formula - Numberphile, su YouTube.

  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica