- 537 名前：１３２人目の素数さん [2005/07/12(火) 16:59:58 ]
- ＞Qの非定理の集合はr.e.ではない
ところで、r.e.ではない集合、というものは、一般に、どういうふうに捉えられているのですか？
r.e.ではない集合も集合として扱う、枚挙が可能でないのは、ただ、機械の限界によるものだ、としてるのか、
機械で枚挙可能でないようなものは、集合としては定義できない、そんなものは集合として扱わない、というふうに考えてるのか
再帰的に枚挙可能である、ということが言われてる時点で、なんらかのステイタスとして認められているような気もするんですが、
r.e.ではない集合も集合として一応扱われているみたいだし、
集合であって、r.e.であるにこしたことはないが、r.e.でなくても、まぁ、別にかまわない、くらいのものなのでしょうか？
