目的語がでかい↓ https://anond.hatelabo.jp/20240216175706
そんじゃあ記号論理学でいいよ。
の具体的になんて本(ネットのpdfでもよい)の何ぺージあたりからが元増田の問いにとって核心なのって話よね
(x x)もラムダ項だよ!
具体的にどういう意味の式なんだ?たとえば再帰的にどうより簡単な式に書き換えられる?
意味はないよ 形式なので
トポロジーの証明を立体を含む何かに関する事実と解釈するのも意味付けに過ぎないみたいな感じだもんね?
お前が答えにたどり着けるかなんて知るか、アホ
答えにたどり着けるかどうか関知しないのに、さも元増田に向けてるように「何々について調べれば今よりは理解深まるんじゃない」とか言ってるやつの謎よ。何がしたかったのって思...