- Edited
Roger Schlafly
You write:
<<Mathematics gives us a system for obtaining certain truths.>>
Mathematics and physics are currently experiencing a conceptual and paradigm crisis of the metaphysical/ontological basis, which manifests itself as a "crisis of understanding" ("J. Horgan "The End of Science", Kopeikin K.V. "Souls" of atoms and "atoms" of the soul : Wolfgang Ernst Pauli, Carl Gustav Jung and "three great problems of physics"), "loss of certainty" (Kline M. "Mathematics: Loss of Certainty"), "crisis of interpretation and representation" (Romanovskaya T.B. "Modern physics and contemporary art - parallels of style"), "trouble with physics" (Lee Smolin "Trouble with Physics").
The problem in the foundations of mathematics is more than a hundred years old.
We recall the famous statement of G. Weil (1946) as a kind of "summing up" half a century of intellectual "butting" of the giants of mathematics in the first half of the 20th century on the problem of the foundations of mathematics:
“Now we are less sure than ever of the primary foundations of mathematics and logic. We are experiencing our "crisis" in the same way as everyone and everything in the modern world is experiencing it." (Quoted by M. Kline "Mathematics: Loss of Certainty")
I agree with Alexander Zenkin, Doctor of Physical and Mathematical Sciences: "the truth should be drawn..."
(SCIENTIFIC COUNTER REVOLUTION IN MATHEMATICS)
and the conclusion of the mathematician and philosopher Dmitry Bukin:
"The crisis of the foundations of mathematics is, first of all, the crisis of ontology, the essence of which is the inability to describe objects, the fact of being or becoming of which goes beyond the usual ideas about the world. Way out such a crisis state should be sought not so much in the improvement of the methods of mathematics itself, but in the renewal of the cognitive means of ontology, which do not deny the classical paradigm, but can go beyond its framework. is a historically proven method of comprehending the existence of a mathematical object in its development and relationship with objective reality.">> (CRISIS OF THE FOUNDATIONS OF MATHEMATICS AS A CRISIS OF ONTOLOGY")
That is, the problem is not just "the foundations of mathematics", but specifically the problem of the ontological foundation of mathematics (ontological basification).
But for some reason, mathematicians sweep the problem "under the rug" ...
Next you write:
<<General relativity teaches that spacetime is curved, and that might seem contrary to Euclid's theorems. But it is not. Those theorems are correct statements about flat space, and that math was used as the foundation for theorems about curved space that ultimately got applied to relativity.>>
David Deutsch: “The best of our theories show deep discrepancies between them and the reality they are supposed to explain. One of the most egregious examples of this is that in physics there are now two fundamental "systems of the world" - quantum theory and general relativity - and that they are fundamentally inconsistent with each other."
Brian Greene: “By understanding how space and time come into being, we could take a huge step towards answering the key question, what kind of geometric structure actually comes into being.”
Lee Smolin: “All the theories we work with, including the Standard Model of Particles Physics and general relativity, are approximate theories, applying to truncations of nature that include only a subset of the degrees of freedom in the universe. We call such an approximate theory an effective theory.”
General relativity is a phenomenological (parametric, operationalist, "effective") theory without an ontological justification (ontological basification).
It is necessary to solve the problem not only of the ontological justification of mathematics (ontological basification), but of knowledge in general. This means building a New Expanded Ideality, "grasping" (understanding) the ontological structure of space and understanding the phenomenon of time.
"The event of grasping the structure means understanding." (G. Gutner "Ontology of mathematical discourse")
Pavel Florensky: “We repeat: worldunderstanding is spaceunderstanding.”