TY  - RPRT
TI  - Is the Halting problem effectively solvable non-algorithmically, and is the Goedel sentence in NP, but not in P?
AU  - Bhupinder Singh Anand
PY  - 2005
UR  - https://arxiv.org/abs/math/0506126
ID  - math/0506126
ER  -