John K
Donor
- MBTI
- INFJ
- Enneagram
- 5W4 549
We are probably talking at cross purposes. A mathematical axiom doesn't arise from mathematical logic but from a declaration that something is true - it isn't something that can be proven but is a statement that is just accepted as self-evidently true. A new axiom which is not simply saying the same as the original ones in an alternative form cannot therefore arise from a chain of logical reasoning, according to the guys who claim maths is a tautology.1. It is not self-evidently true, (true by definition, yes). I don't get the independent axiom part. A theorem is always based on a set of axioms
The research into the existence or non-existence of dark matter definitely needs a lot of mathematical analysis, like many other branches of science. It probably doesn't need new types of mathematics, and, if it did, any new mathematical axioms required would have no direct bearing on the existence of dark matter, only on the mathematical structures used. Think of the maths as being akin to the screws in a telescope metaphorically speaking - the telescope couldn't exist without them, but the principles of the construction of those screws has no direct relevance to the discovery of new astronomical objects. To give you a more substantial parallel, Einstein used tensor maths to formulate the general theory of relativity. Tensor maths was obscure at the time, but it didn't need any new mathematical foundations because that had all been done by a mathematician called Riemann about 70 or 80 years earlier. Riemann was working on the purely mathematical analysis of non-linear multi-dimensional geometries and the axiomatic foundations of his calculus would have rested in this field - he had no idea that it could be used to describe how gravitation works. Einstein used it to great effect, but his physics made no difference whatsoever to the foundations of the mathematical principles behind tensor calculus.3. The (non)-existence of Dark Matter is absolutely one of a mathematical issue.