Hi there,
I am trying to find a problem that has been proven to have no solution
and I need some help. I know that is the class of problems called to
be undecidable but that only implies that this problem has a yes or no
question. Is there anything like an insolubility class ? that implies
that the question has no answer regard the answer, not that it is
still to be solved but was proven that cannot be solved ?