> the ever more present wrong notion that mathematics is dependent on > computability and the expanding belief that mathematics is somehow > subjected to the constrains of physical reality.
I know this was addressed to someone else, but I would also like to offer my thoughts on this matter. I contend that mathematics _is_ constrained by physical reality. The underlying logic which determines mathematics is a manifestation of physical reality. I believe what you are asserting is that mathematics should not be required to produce physically measurable results as a test of its validity. I really have to wonder if such a requirement is unrealistic. It's interesting to observe that some people are wont to point to the fact that formal proofs can be verified by computer programs.
I note that you object to the idea that "mathematics is dependent on computability". I don't know if you mean that exclusively in terms of solving equations and/or finding approximate numerical solutions, or if you also object to the idea the mathematical proofs should be machine verifiable. I curious to know what you think of this: http://metamath.org/