The content of mathematics

I have recently had an interesting conversation about the usefulness of mathematics in trying to describe the fundamentals of reality. I have found that this question have had great minds occupied for ages. One of my favourite minds is that of Kurt Gödel, so I had a quick look at his take on this issue. I was delighted to find that he shared a vital aspect of my position that mathematics are very real and not to be mistaken as being “just abstractions” and “just conventions”. Math may be both conventional and abstract, but it is not “just” that, as if it was a “lesser” version of the real reality of concrete physics.

The reason I consider mathematics as being closely corresponding to the physical reality is a simple one; human minds are what generate that which we call “mathematics”, and since human minds are themselves generated by physically real events, there has to be this correspondence. In other words, assuming an observation is of reality, and the observer also being a reality, then it follows that the response of the observer to this observation, for example a mathematical formulation, is also of reality.
Bottom line – Everything in reality is equally real, including that which we sometimes define as “abstract”. Only superficially is math unrelated to that which it is believed to describe. On a fundamental level, it is by neccesity corresponding to exactly that, but inderectly so, via the human correspondence. The bridge between the object observed and the math of the object is the human mind. And only ignorance of what a human mind is can lead us to believe there is a true disconnection between physical reality and the math we generate to describe it. That is not Gödel’s reason for defending the real content of math, but we arrive att the same conclusion. Not only does Gödel say math is valid in this sense, but he goes further to say math don’t neccesarily need empirical correspondence to be true in its own right.
The last statement is very important and worthy of consideration. It opens the door to mathematics that can probe reality deeper, or from a different perspective, than empirical observation is able to do. If that is so, we should be aware of which kind of math is used and what defines an empirical math from an un-empirical math.
As will argue further, we must learn what makes some aspects of reality real in an empirical sense, and what aspects might be defined as inherently un-empirical. This goes down to the nature of mind and its limit of awareness. To be empirical, it is required that objects/observables comes into minds awareness. If not, we simply don’t know them. This is not to say they don’t affect us. That would be a mistake, becuse most of what affects us is out of our awareness. But it means that we cannot build a theory about it, because a theory must be of something explicitly defined or we have knowledge without knowing what it is that we know. Creative perhaps, but not so uselful.

A Philosophical Argument About the Content of Mathematics

The bold extraction of philosophical observations from mathematical facts—and, of course, the converse—was Gödel’s modus operandi and professional trademark. We present below an argument of this type, from draft V of Gödel’s draft manuscript, “Is Mathematics a Syntax of Language?” though it also appears in the Gibbs lecture.

The argument uses the Second Incompleteness Theorem[1] to refute the view that mathematics is devoid of content. Gödel referred to this as the “syntactical view,” and identified it with Carnap. Gödel defined the syntactical view in the Gibbs lecture as follows:

The essence of this view is that there is no such thing as a mathematical fact, that the truth of propositions which we believe express mathematical facts only means that (due to the rather complicated rules which define the meaning of propositions, that is, which determine under what circumstances a proposition is true) an idle running of language occurs in these propositions, in that the said rules make them true no matter what the facts are. Such propositions can rightly be called void of content. (Gödel 1995, p. 319).

Under this view, according to Gödel:

…the meaning of the terms (that is, the concepts they denote) is asserted to be man-made and consisting merely in semantical conventions. (Gödel 1995, p. 320)

A number of arguments are adduced in the Gibb’s lecture against the syntactical view. Continuing the last quote but one, Gödel gives the main argument against it:

Now it is actually possible to build up a language in which mathematical propositions are void of content in this sense. The only trouble is 1. that one has to use the very same mathematical facts (or equally complicated other mathematical facts) in order to show they don’t exist.

The mathematical fact Gödel is referring to is the requirement that the system be consistent. But consistency will never be intrinsic to the system; it must always be imported “from the outside,” so to speak, as follows from the Second Incompleteness Theorem, which states that consistency is not provable from within any system adequate to formalize mathematics.

The paper “Is Mathematics a Syntax of Language?” paper is an extended elaboration of just this point. It is more specific, both as to the characterization of the syntactic view and as to its refutation.

In version V of it, Gödel identifies the syntactical view with three assertions. First, mathematical intuition can be replaced by conventions about the use of symbols and their application. Second, “there do not exist any mathematical objects or facts,” and therefore mathematical propositions are void of content. And third, the syntactical conception defined by these two assertions is compatible with strict empiricism.

As to the first assertion there is a weak sense in which Gödel agrees with it, insofar as he notes that is possible to arrive at the same sentences either by the application of certain rules, or by applying mathematical intuition. He then observes that it would be “folly” to expect of any perfectly arbitrary system set up in this way, that “if these rules are applied to verified laws of nature (e.g., the primitive laws of elasticity theory) one will obtain empirically correct propositions (e.g., about the carrying power of a bridge)…” He terms this property of the rules in question “admissibility” and observes that admissibility entails consistency. But now the situation has become problematic:

But now it turns out that for proving the consistency of mathematics an intuition of the same power is needed as for deducing the truth of the mathematical axioms, at least in some interpretation. In particular the abstract mathematical concepts, such as “infinite set,” “function,” etc., cannot be proved consistent without again using abstract concepts, i.e., such as are not merely ascertainable properties or relations of finite combinations of symbols. So, while it was the primary purpose of the syntactical conception to justify the use of these problematic concepts by interpreting them syntactically, it turns out that quite on the contrary, abstract concepts are necessary in order to justify the syntactical rules (as admissible or consistent)…the fact is that, in whatever manner syntactical rules are formulated, the power and usefulness of the mathematics resulting is proportional to the power of the mathematical intuition necessary for their proof of admissibility. This phenomenon might be called “the non-eliminability of the content of mathematics by the syntactical interpretation.”

Gödel makes two further observations: first, one can avoid the above difficulty by founding consistency on empirical induction. This is not a solution he advocates here, though as time passed, he would now and then note the usefulness of inductive methods in a particular context. His second observation is that empirical applicability is not needed; it is clearly unrelated to the weaker question of the consistency of the rules.

From http://plato.stanford.edu/index.html