配分と糖衣式(とういしき？)

Deprecatad @deprecatad

だから 10(2+3)という式も本来の姿に戻すと 2×10+3×10 となるのではないかと。

Deprecatad @deprecatad

記法の問題。

Deprecatad @deprecatad

だいたいそうしないと、 0と1で2が出来上がる理由さえわからないし。 全ての二項演算だって 0と1の何か素敵な何かから成っている糖衣構文なのじゃろう？ きっと。

Deprecatad @deprecatad

チャーチ数という空間では 0と1という概念があり、 succという何かを0に1回適用した形 succ(0) を 1 と呼ぶらしい。

Deprecatad @deprecatad

そしてなにやら succ(0)にsuccを1回適用した形 succ(succ(0)) つまり0にsuccという何かを1回適用したものにsuccという何かを1回適用したもの。 …というものがあるらしい。

Deprecatad @deprecatad

それは人の言葉では「2」…と呼ぶらしい。

Deprecatad @deprecatad

つまり「2」というのは 0に何かを1回適用したものを更に1回適用したもの、のことを言うらしい。 1回適用したものに更に1回適用… それもまた人の言葉では「2回適用する」とも言うらしい。

Deprecatad @deprecatad

こうして「2」という概念が僕らのものとなりました。 めでたし、めでたし。

Deprecatad @deprecatad

つまりは 2 は succ(succ(0)) の簡易表現、糖衣表現。

Deprecatad @deprecatad

2×3というのは succ(succ(x))というのを0に1回適用したものに同じものを1回適用したものに同じものを1回適用したもののことを言うのであろうという。

Deprecatad @deprecatad

ああ、なるほど。 自分で考えてて書いてて、色んなことがわかってきた。 チャーチ数って、そういうことだったんだね。 本来空間には0と1しかない、とか、そういうことだったんだね。

Deprecatad @deprecatad

(理解しないで書いてた)

Deprecatad @deprecatad

…1を0しかない空間で作り出す技術は……知りませんので…うぅ。

Deprecatad @deprecatad

出ない。 : 1 作り方 - Google 検索 google.co.jp/search?q=1%20%… pic.twitter.com/dQVNnLq1EG

拡大

Deprecatad @deprecatad

おやすみなさい。