外見ガチ勢

「問題とは言語の部分集合のことである」とかいう日常用語で解釈すると謎すぎる文章

でも数学分かってから哲学してくださいという一線は防衛すべきじゃないかな。solver になる必要はないわけだし

今日の Martin-Löf の話はさすがにええっとなったけどまあでも数学パートは置いておいて哲学としてはなんだかんだそういう感じの可能性はあるか

爆イケになろう

ニャオス

Huh

INTP-T

ギャル

うう