exegisis of the esoteric

Written by  on March 23, 2015 

In Chapter 2 of Lee Rudolph’s Qualitative Mathematics for the Social Sciences, Rudolph asserts:

truth is what they come to believe more firmly as they function better [...] As such, truth is always conditional and subject to amendment: but it has, always and unconditionally, a net or web of meaning that anchors it pretty firmly to many places

He’s saying this in the context of 2 comments written by G.H. Hardy about the function of mathematicians, chronologically:

(1922) The function of a mathematician is [...] to observe the facts about his own intricate system of reality, [...] to record the results of his observations in a series of maps, each of which is a branch of pure mathematics.

(1940) The function of a mathematician is [...] to prove new theorems

And Rudolph makes the following statement about the first of those quotes:

Hardy wrote his Apology at the end of his mathematical career, when he was convinced, perhaps correctly, that “his creative powers as a mathematician at last, in his sixties, [had] left him.”

Rudolph’s point about the timing of the two statements is critical, the difference being before and after Hardy felt his powers had left him. But the point does not imply what Rudolph infers about mathematical truth. One of the things that all of us do, mathematicians included, is become more conservative as we age (in thought and action, not necessarily political beliefs). As whatever powers we had leave us, we are left with the fossils of the exercising of those powers. This is true of both the complete structure as well as the more sparse anchors set more firmly amongst the less firm surroundings. My guess is that those anchors seed the “crystal.” Whatever anchors we become convicted of … convinced of … while younger, tend to accumulate cruft and barnacles, leading to a stigmergic mess of arbitrarily decided and fossilized dogma … that we then carry to our graves. (Unless we have a near-death epiphany or, as more research is showing, loosen up that “crystal” in some other way.)

What Hardy successfully exhibits with his change is the path from ideological conviction to transpersonal artifact. Just like science, what matters are the artifacts we produce, the less semantically (and metaphorically) laden, the better. For math, it comes in the form of proofs. For science, it comes in the form of recipes that anyone with an equivalent sensorimotor manifold can execute. Hence, mathematical truth is not a (or many) set(s) of beliefs inside the heads of mathematicians. It is the proofs written on paper and magnetic/optical media all around us. I think we’re finally approaching a demonstration of that with the homotopy type theory (HoTT) project, whereby mathematical truth would be fully instantiated in computing machinery. Even if HoTT fails, it’ll be a huge step toward externalizing mathematics (exegesis of the esoteric … pretty much the inverse of what Rudolph concludes).

Category : Uncategorized

Comments

2 Responses

  1. gepr says:

    The GEPRBot responds with:

    All acts and artifacts through hindsight. I don’t substitute anything for “real”. I am a soft mix of exploitable common context and place them in the field of neuropsych. That researcher had just come from big government programs like the combination of dns failover with a very personal thing both for the people) lead to instability or weakness. This is especially useful because i can’t describe. Reflectively, however, i have to disagree even though lots of non-exchangable rights… Like inherited, non-transferable titles or … Royal blood.

  2. […] course, this flows right along the lines of my previous post about Lee Rudolph’s comments on Hardy’s “astonishingly beautiful com…. So, the superstition is really just a cognitive […]

Leave a Reply