« Story Sellerを読んだ。7人の人気作家の短編ですごくお得感。 | トップページ | ははは、4/21のGoogleトップページは、ネッシー型潜水艦に乗るエイリアン、、、ってネッシー撮影から81年だそうだ。 »

2015年4月21日 (火)

タッパーの自己言及式に唖然、、、ある不等式を満たす点を打つと、それがある不等式を描く(って何言ってるかわかる?)

GIZMODOに面白い話が出ていた。

How This Equation Draws Itself

タッパーの自己言及式(Tupper's Self-Referential Formula)というのがあって、、、

http://mathworld.wolfram.com/TuppersSelf-ReferentialFormula.html

この不等式を満たすx,yを、、、

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

あるk(543桁)の範囲で描くと、、、

なんと基の式が図示されるという、、、

Tupper's self referential formula plot.png

なんだこれは(笑)。よくこんなこと思いつくな、、、感心する。

で自分でも計算してみた。こちら。

"タッパーの自己言及式をPari/GPとExcelで描いてみる。"

http://sci.tea-nifty.com/blog/2015/04/parigpexcel-fb3.html

« Story Sellerを読んだ。7人の人気作家の短編ですごくお得感。 | トップページ | ははは、4/21のGoogleトップページは、ネッシー型潜水艦に乗るエイリアン、、、ってネッシー撮影から81年だそうだ。 »

日記・コラム・つぶやき」カテゴリの記事

コメント

コメントを書く

(ウェブ上には掲載しません)

トラックバック

この記事のトラックバックURL:
http://app.cocolog-nifty.com/t/trackback/512682/61470297

この記事へのトラックバック一覧です: タッパーの自己言及式に唖然、、、ある不等式を満たす点を打つと、それがある不等式を描く(って何言ってるかわかる?):

« Story Sellerを読んだ。7人の人気作家の短編ですごくお得感。 | トップページ | ははは、4/21のGoogleトップページは、ネッシー型潜水艦に乗るエイリアン、、、ってネッシー撮影から81年だそうだ。 »

2017年5月
  1 2 3 4 5 6
7 8 9 10 11 12 13
14 15 16 17 18 19 20
21 22 23 24 25 26 27
28 29 30 31      
フォト
無料ブログはココログ