{ミュー計算の数学的あるいは哲学的基礎付け K#F85E/8DA8}宇田川浩行 ミュー計算(Mu calculus)の数学的あるいは哲学的基礎付けについて,とても大きな「確信」を得ている。 これは,ラムダ計算の一般化か,あるいは既存の数学的枠組みを壊して基礎となりうるかもしれない。どちらかというと,ニューラル ネットワークと親和性の高い概念か。 輪郭法,差子(ヘテロン)……つまり,無限に連続する「差異」こそ本質であり,「関数」(計算)は補助的な記号に過ぎない,という体系を構築できる。