タッパーの自己言及式

タッパーの自己言及式は、ジェフ・タッパー (Jeff Tupper) によって考案された不等式であり、特定の条件の下で式を満たす二つの数の組を二次元のグラフに描くと不等式そのものの形となる。
2001年にコンピュータグラフィックスを扱う国際会議SIGGRAPHで発表されたTupper, Jeff. "Reliable Two-Dimensional Graphing Methods for Mathematical Formulae with Two Free Variables" http://www.dgp.toronto.edu/people/mooncake/papers/SIGGRAPH2001_Tupper.pdf。

不等式は次のように定義される。


 は床関数、 は剰余を表す。ここで、k を以下の値とする (543桁の数を3桁区切りで記述している)。

このとき、上の不等式を満たす  および  をグラフに描くと、不等式そのもののように見える形になる。

Image:Tupper's self referential formula plot.png

実際には、上の不等式は自己言及的というわけではないタッパー自身の論文には自己言及 (self-referential) という表現は使われていない。グラフの形の情報は k の値に符号化されており、不等式はそのグラフを描くための一種のデコーダとして機能している。つまり、上に記載した k の値はグラフに描くと不等式の形になるように選ばれており、 k を他の値にすることによって同じサイズの任意の形のグラフを描くことができる。

オリジナルの不等式ではグラフの高さは17という制限が付くが、他のサイズのグラフを描けるように不等式を一般化することもできるWeisstein, Eric W. "Tupper's Self-Referential Formula." From MathWorld A Wolfram Web Resource. https://mathworld.wolfram.com/TuppersSelf-ReferentialFormula.html。

関連項目
 クワイン (プログラミング)

脚注

Category:不等式
Category:自己言及
Category:コンピュータグラフィックス
Category:人名を冠した数式
Category:数学に関する記事