0174132人目の素数さん垢版 | 大砲2018/08/10(金) 14:28:51.74ID:M9zhKYiU >>157 任意のチューリングマシンの停止性が自明となるようにビジービーバー関数を形式的に定義できる言語が存在しない、 というような感じです。 (形式的に定義できないというのは読みとく側の問題でもあって、この言い方もあまり正しくはないが)