Digital Dollars appear to me to be the writing on the wall in big letters --- intuitively.
Robert Harper also sees a writing on the wall. in his specific problem domain. While he may get it in a flash of intuition or by putting pieces together he can certainly express it in the precise language of math.
His words:
Ideas have their time, and it’s not for us to choose when they
arrive. But when they do, they almost always occur to many people at
more or less the same time, often in a slightly disguised form whose
underlying unity becomes apparent only later. This is perhaps not too
surprising, the same seeds taking root in many a fertile mind. A bit
harder to explain, though, is the moment in time when an idea comes to
fruition. Often all of the ingredients are available, and yet no one
thinks to put two-and-two together and draw what seems, in retrospect,
to be the obvious inference. Until, suddenly, everyone does. Why
didn’t we think of that ages ago? Nothing was stopping us, we just
didn’t notice the opportunity!
The recent development of higher-dimensional structure in type theory
seems to be a good example. All of the ingredients have been present
since the 1970′s, yet as far as I know no one, until quite recently, no
one quite put together all the pieces to expose the beautiful structure
that has been sitting there all along. Like many good ideas, one can
see clearly that the ideas were foreshadowed by many earlier
developments whose implications are only now becoming understood.
The writing he sees on the wall can be viewed here.
All I can do is view it, I can't see it. Someone might say the same about what I see written on the wall and attempt to explain.
What appeals to me is a link given as background to his thoughts that jumps entirely out of the technical problem domain to the same thing in a theological domain. Seems that I jump like that the deeper I get into the technicalities of money. Conceptual pattern matching has value.
The beginning paragraph at the link:
The Christian doctrine of trinitarianism
states that there is one God that is manifest in three persons, the
Father, the Son, and the Holy Spirit, who together form the Holy
Trinity. The doctrine of computational trinitarianism holds
that computation manifests itself in three forms: proofs of
propositions, programs of a type, and mappings between
structures. These three aspects give rise to three sects of worship:
Logic, which gives primacy to proofs and propositions; Languages, which
gives primacy to programs and types; Categories, which gives primacy to
mappings and structures. The central dogma of computational
trinitarianism holds that Logic, Languages, and Categories are but three
manifestations of one divine notion of computation. There is no
preferred route to enlightenment: each aspect provides insights that
comprise the experience of computation in our lives.
No comments:
Post a Comment