Is everything a metaphor? | Page 4 | INFJ Forum

Is everything a metaphor?

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
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.

3. The (non)-existence of Dark Matter is absolutely one of a mathematical issue.
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.
 
  • Like
Reactions: dragulagu
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.
Ok got it, true.

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.
Interesting how this branch of science (Mathematics) or its practicals rather have evolved as well. I didn't put that perspective in proper view. Thanks for the explanation.
 
  • Like
Reactions: John K