Hi Jochen, thanks for the almost immediate reply, which clarifies a lot for me about your approach.
It seemed to me by reading your essay that there is a huge contradiction in assuming that the 'mysterious' interface between Qualia and the external reality should not be computationally describable in principle, but nonetheless should work via a deterministically acting (turing-complete) mechanism.
This arose to me as a mystery par excellence, since it then would transform the mystery of Qualia itself into the mystery of how one can justify to having the cake (a turing-complete interface) and at the same time eat it (having Qualia and consciousness defined as being completely equivalent to to a turing-like computation).
Therefore I wrote that maybe it perhaps is the other way round ---- and asked myself why nobody can see the possibility that it is no wonder that Qualia isn't computationally definable ----- because it may turn out that computations, at least deterministical ones, are not the only things that reasonably can exist.
You wrote that
"But really, they're just a problem for mathematicians: because human mathematicians are limited to effective, formalizable means, no axiomatization we could come up with can encompass 'all of mathematics'."
Yes, I fully agree; and I would add that it is only a problem if one has a platonic view of mathematics and its axiomatization as an eternally fixed (infinite) set of (infinitely) complex relationships.
It would be interesting to me whether you define the process that underlies our mind's capabilities to perform computations as 'computations' in the sense that they are augmented partially with a string of random numbers - for example for human decision processess.