The Mathematics behind Tupper's Formula
In this talk, we will discuss so-called ``Tupper's self-referential formula'', given by
$$\displaystyle \frac{1}{2} < \left\lfloor \bmod\left(\left\lfloor\frac{y}{17}\right\rfloor 2^{-17\lfloor x\rfloor-\bmod(\lfloor y\rfloor, 17)},2\right)\right\rfloor$$