理論の再帰的分離不能性
Memo:
/kokuritsukouen/再帰的分離不能対
Def:
理論
$ T
が
再帰的分離不能
である
$ \iff
$ T
の定理全体の集合
$ T_p
と反証可能な文全体の集合
$ T_r
ついて,
$ (T_p, T_r)
は
再帰的分離不能
Col:
理論が再帰的分離不能なら本質的決定不能
$ T
が
再帰的分離不能
$ \implies
$ T
は
本質的決定不能