you may consider reading I am a strange loop for that, which can do far better justification than myself

if there's surely no algo to solve the halting problem, why would there be maths that describes consciousness?