@dankogai: 実は違和感が生じるのは十進法だからで、三進法なら1/3=0....

実は違和感が生じるのは十進法だからで、三進法なら1/3=0.1₃とぴったり表記可能。1/3が0.333…になってしまったのはたまたま「十進表記にせよ」という命題を受けてしまったからで、「永遠に終わらないけどこの先3以外の数字は出てこない」というのが…という記号の意味で、これまた正しい「再有限化」

View Tweet

面白いのは「この操作を一旦開始すると停止しない」という「無限ループ」もまた有限表記に含まれていて、にも関わらず我々が扱えるのは「その操作を定義だけして、実行せずに扱える」から。'(/ 1 3)は無理に十進表記しなければただの数で λ x → (* 3) x に食わせると1が出てくると