  |
・(もちろん冗談だが)はてなのシス管に採用されて気に入らないidの登録情報を見て電話番号そのほかの情報からなんとか私立探偵で家を暴いて家凸する。 ・登録情報を匿名で開示しその...
目的語がでかい↓ https://anond.hatelabo.jp/20240216191123
そんじゃあ記号論理学でいいよ。
の具体的になんて本(ネットのpdfでもよい)の何ぺージあたりからが元増田の問いにとって核心なのって話よね
(x x)もラムダ項だよ！
具体的にどういう意味の式なんだ？たとえば再帰的にどうより簡単な式に書き換えられる？
意味はないよ 形式なので
トポロジーの証明を立体を含む何かに関する事実と解釈するのも意味付けに過ぎないみたいな感じだもんね？
25
