True. My impression was that the machines were not well defined though. That is, hypercomputation is mostly defined as things not computable by a Turing machine

True. My impression was that the machines were not well defined though. That is, hypercomputation is mostly defined as things not computable by a Turing machine. In addition, I guess I was saying more that we don't know what category our mind would fall into if it is indeed hypercomputable, not that we don't have mathematical categories for noncomputable (not general recursive) problems. I edited the parent post for clarity, as well.