１５５の餓鬼はアホの見本だな。
馬鹿ＦＩＴのパシリか？
FT(SAT)に属さないアルゴリズムで判定すると、αによらず０が出るんだよ。
自己アルゴリズム言及問題とは、そういう決定問題。
課題は、
「それと、言語認識問題との折り合いをどう付けるか？」
だ。