Uniquely satisfiableだが止まらない再帰定義 - 続き - yoriyukiの日記id:yoriyukiさんが以下のような問題を提案していました。 等式系{αi}i∈Iで、各αiは計算可能関数eiで一意に満たされるのだがei=f(i)なる計算可能関数fは存在しないような{αi}i∈Iは存在す…