>>545
ここはプログラム板だから、現実のコンピュータ上での「実現可能性」も判断基準に含まれる。
従って、コンピュータが扱える形式にコード化できるか否かは最低限度の基準になる。

もしこれを否定したいのなら、続きは数学板か哲学板でやってくれ。
それらの板なら実現可能性の無い、純粋な理論であっても許される。
ただし、(数学ではなく)工学を扱うプログラム板と情報板において、実現可能性の無い理論を
前提とする主張は、空理/空論と見なされる。