Wednesday, January 5, 2011

The philosophy of the philosophy-of

A typical abstract axiomatic exposition in a subject like mathematics is extremely terse, functioning partly as a hierarchical filing system for the subject’s materiel, ensuring that nothing goes missing and content can readily be found by members of the professional community, but offering few clues to the original motivating insights and meaning of the subject.

It is the job of the philosophers (I believe), to help interpret the meaning of the contents of the abstract axiomatic filing system of mathematics, and also to help preserve the praxis and understanding of the subject between generations and also between mathematicians and non-mathematicians. The philosophy of mathematics is, then, an ongoing reinterpretive, partly pedagogical, partly popularising narrative in the margins, rather than as usually thought, a foundational monolith.

A successful philosophy of mathematics (or of art, science, ethics …) will offer an intuitive visceral approach to the subject, with suggestive concepts, metaphors, similes and viewpoints, simulating the praxis of a creative professional. A philosophy-of paraphrases, circumlocutes and metaphorises, to infuse its subject with near-praxic life.


• A successful philosophy of mathematics (or of art, science, ethics …) will never directly add new mathematical truths (or works of art, scientific facts, direct moral guidance…) – though it should improve the teaching of these subjects, and may assist talented creative minds to more quickly adopt a viewpoint and mantle from which praxis and discovery of new truths in them is possible.

• Philosophers-of are probably often would-be or retired practitioners-of, but who are now for whatever reason apraxic in their discipline – which is as it should be, since who better motivated to develop tools to allow non and future professionals to glimpse, and in some (rare) cases attain for themselves, the praxic viewpoint and capability of creative practitioners ?

• Practitioners-of will often view philosophers-of with suspicion, and the feeling that they add no new content to their subject (which is true) , and that they are nothing but second or third rate practitioners (which is (one guesses) often true, but is not necessarily relevant to their rating as philosophers-of).

• Contrary to intuition, while mathematics provides eternal truths, the philosophy of mathematics does not. This is because the philosophy of mathematics is concerned with the human binding and vivification of its subject – and this is a contingent activity, dependent on the intuitive ways of human thought, in each generation and in each human audience. Mathematics and science are not culturally relative, but their philosophies-of are.

• The philosophy of a subject is never finished, even should the subject it deals with eventually become completed. This is because the task of preserving and transmitting the meaning of a subject across deep time to future generations and across human space to contemporary non-specialists and students - is never finished.

• The philosophical narrative in the margins itself has marginal narrative and so on, recursively extending the subject and its philosophy as it were breadth-wise, rather than as is usually thought foundationally depth-wise. This accounts for the failure of philosophy ever to find bedrock and terminate.

Without an ongoing philosophy of mathematics (or of art, science, ethics ...) , updated and reinterpreted in each generation or two, we cannot be certain that our current terse axiomatic filing-system-like presentations of (say) abstract group theory will escape the fate of ancient Egyptian hieroglyphics - by which the language’s tokens were preserved, but meaning and worldview became completely lost. Luckily the ancient hieroglyphics had been semantically replicated into two other scripts on the Rosetta stone so their meaning could be recovered. The job of the philosophy of a subject, even of one as purely logical as mathematics, is as a marginal but vital narrative using non-specialist language, to help communicate and preserve the real meaning and insights of the subject, and not just the contents of its axiomatic filing system, across deep time and human space.

Sunday, May 16, 2010


In a recent "hmmm" I suggested that breaking one's moral code - in other words "doing something out of character" - can be a disorientating experience because it is a type of existential poisoning or infection, in a way that this phrase succinctly captures - in so doing one in fact morphs into a different character, contaminated with behaviours foreign to the former good character.

A first problem with that is it is too negative - the "something out of character" could just as well have been a good thing, like being uncharacteristically kind and generous - more like an existential tonic than a poison.

A second problem with that hmmm was that it may pop up on some police profiler's scan as being a cryptic confession to having a body buried in the back yard, resulting from some recent "out of character" behaviour, that I am starting to feel guilty about. Let me say straight off that while I am often foolish, feckless and flawed - not to mention alliterative, obscure and asinine - I am basically a good, generous, hard-working, kind, non-violent person - albeit one with several bodies buried in the back yard. I think there are 2 guinea pigs (damn those rodents can wriggle ! By heck cats are good hunters !), a mouse or two and even several pet beetles that were well loved.

(Though one of the worst types of nightmare I have had - a couple of times - involved a body buried in the back yard - I never knew who and there was no memory of the act, just that I was responsible somehow...the very worst sort of nightmare, far worse than being chased by monsters, falling over cliffs etc...waking up from that dream and realising I had done no such thing was such a relief !)

If I wanted a negative example, I should have used something that is much more commonly experienced - by me and I suppose most people, at various times - which is "failure to achieve one's goal / dream". ( pass the exam/ get the girl/guy/bring the project in on time and budget/ be the perfect father/partner, make a fat profit etc etc)....these failures can be disorientating because also a type of existential poisoning or infection.....the self that you now find you are is not what you thought or hoped it was. And you can kind of go around in circles trying to figure out what went wrong and where things are at, but never making much progress because just re-entering the same loops again and again....the problem being the self needs to morph along a bit and catch up with events.....or not (fight or flight - the big life decision for most living things).

Another problem of course is that all this seems rather tedious and perhaps even narcissistic - sic again the police profiler's scan. Pure narcissists are extremely dangerous and evil. Clayton Weatherston (the young Dunedin university economics lecturer who stabbed his ex-girlfriend several hundred times, to death, because of some perceived slight but could simply never see beyond his own reflection in the pool...) was a classic example of such a pure narcissistic personality. I remember how stunningly this was revealed during the trial. I hazard a guess and theory that the narcissistic personality trait is more common these days than it once was. Perhaps aided and abetted by technology and commerce, which is increasingly configured for extreme personal choice and the delivery of services tailored just-so for the individual self and its foibles, so perhaps encourages this trait. (Or perhaps not - its a nice theory but perhaps a bit too nice. There are still plenty of those wonderful personalities around that appear to have not a trace of narcissism - these tend to be the most attractive personalities of all....though perhaps there are the odd rare pure zombie psychopaths who, by completely lacking any developed sense of self at all, also completely lack traits such as narcissism - but not-in-a-good-way ). I'm getting a bit long in the tooth and faded in the bloom so fortunately past the stage where too much in the way of narcissism is at all possible - though then, in these later stages of life, the danger becomes excessive self criticism and re-calculations of past failures - one has generally accumulated a few of these by this time - excessive indulgence in which is in itself a narcissistic trait, and to be avoided and weeded out.

A really robust, lucid and sensible commentator about these sorts of things was Samuel Johnson, famous for taking 10 years to write one of the first (?) dictionaries of the English language, and maybe even more famous for being the subject of "Boswell's Johnson". The biographer Boswell himself was a fascinating character - and really something of a narcissist in his youth, if you read his London Journal, which I have just done and have now started his Holland journal. At the beginning of this he suffers from a very extreme bout of depression - presaged in retrospect by bouts of deep melancholy in the London journal ( between even more frequent bouts of cheerful rogering about the back streets and having a generally wild time with his mates). The story of the publication of these is really interesting - the London journal was written in the 1760's , but not published until 1950 !! So my copy, 1952, picked up for about 50 cents at one of Dunedin's great 24 hour book sales (can't remember if it was the Regent Theatre or Library sales, both good) is actually one of the first editions. Its a long story - but at least partly the delay was because his family did not allow publication - understandably. I loved Pepys' diary because it was a warts-and-all presentation of himself, but Boswell's journal is.....warts, gonorrhea, penis size ("....she wondered at my size, and said that if I ever took a girl's maidenhead, I would make her squeak...") and all....!!

Towards the end of the London Journal he starts spending alot of time with "The Great Man" (Johnson), and it is largely Johnson's writings and precepts ( from e.g. "The Rambler") that rescue him from what was clearly an almost fatal attack of depression, just after he went across to Holland to study law at Utrecht. (Boswell was a Scot, and finally decided to try and follow his father's footsteps into the Scottish legal system - apparently both Scots Law and Dutch law are quite different from English law, and both derive much from Roman law - hence it was common at that time for Scots to study law in Holland)

But to return to the subject - the syntax of sin - another problem with that hmmm was that I introduced a new half baked idea - "membrains" and the idea of social computation, which I am still developing - when there were already more than enough half baked ideas in there.

I should have stuck to the basic idea, which was a syntactical analyses of existential problems : the syntax of "I sin" is that there is an invariant I which sins, whereas this is both unlikely and unhelpful.

* "The giraffe stretched to reach a succulent branch"
* "The giraffe then lowered its head and turned to look in the direction of the roaring lion"

There is a basic symmetry conveyed by the syntax of these sentences - the subject, the giraffe, is an invariant substrate for the verb operators - stretching , turning of the head etc (...and mathematically these operators form a group as explained (?!) in "Operators and Morphisms....." , in this case a Lie group) : the giraffe after stretching for the branch is the same giraffe as before stretching.

Yet this need not have been the biological reality - according to Lamarck's theory giraffes obtained their long necks, and species morphed one to the other, by the morphing of individuals in their own lifetime - and he *could* have been right but for the contingent facts of evolution on this planet. In a Lamarckian world, the giraffe after the stretch is distinctly *not* the same as the giraffe before the stretch - though syntactically we would have a great deal of trouble expressing that.

And meanwhile back on the psychiatrists couch - we might say that it is largely simply syntax that forces us to be the same "self" after some intense event (failure / success/ sin / inspiration), just because we are forced to say "I came I saw I conquered/I failed/etc" - the same subject "I" throughout - yet maybe the "I" is in fact morphing or at leads needs to morph, but our syntax does not allow for this : confusion, anguish and delayed adaption to the various events of life - perhaps partly the result of a subject-verb syntax which does not reflect the Lamarckian existence we lead as selves.

Perhaps language is indeed all-enveloping, vast - all of what we are and see is language....even the scene that we see as we walk down the street, green and grey roofs and a smoking chimney and the red of the sun's sinking - is really a collection of visual nouns, verbs, participles, gerunds, phrases, sentences in an intricate unsuspected pictorial language....

Or to come at it from the other direction - we simply have a basic difficulty of grammar, if we want to express a continuous morphism of some subject such as a giraffe, or a self, along some trajectory.

We do have participles, that turn a verb into an adjective : "a smoking chimney". Then there are gerunds which turn a participle into a noun : "the red of the sun's sinking" - in this phrase the sinking is in possession of the colour red and red here is an adjective which must be attached to a noun. This is maybe getting us a little closer to what we need if we want to admit a "volatile subject" into our language - a subject which is morphed into something new every time we combine it with certain verbs in certain ways.

Monday, April 26, 2010

Membrains, rocks and spiders

Real living things have a membrane-bound existence, with the membrane separating the content of self from its complement, non-self. Though its a permeable membrane.

Innovative fictional living things often do not lead a membrane-bound existence - in fact surprisingly often not. Think of SkyNet from the Terminator movies - spontaneously coming into existence when the defense network achieved consciousness - a single amorphous network-based life form with no clear physical boundary between self and not self.

Or Fred Hoyle's Black Cloud.

Or the machine intelligences of the Matrix.

Or HAL, distributed over the space-ship subsystems in 2001

Star Trek had its share of weird distributed cloud-like intelligences.

But I can't think of any real substantial living thing that does not lead a membrane bound existence.

Furthermore, not only physically, but psychologically we can establish our existence as a distinct individual self, only if there is some abstract membrane that distinguishes....opinions we hold from those we do not, tastes that are ours from those that are not, actions that we would perform from those we would reject on moral grounds. So that our sentient existence is also a kind of membrane-bound existence. And I suppose with the points on the membrane boundary itself being indeterminate....."do I like that or do I not - I am really not sure ?" - these are the boundary layer opinions, tastes, moral actions.

Hence the sense of disorientation and bleakness that one experiences after a major failure - say, a betrayal of one's moral code - it is like an existential infection or poisoning - we have allowed some foreign action to cross the membrane between self and not-self. That boundary between self and not self is redrawn and weakened ever so slightly, every time some action or event or run of misfortune crosses it.

Hence also perhaps the psychopathic behaviour generally attributed to distributed sentiences such as HAL , SkyNet, etc - these non-membrane-bound beings ultimately have no vested interest in choosing to do some actions but rejecting others - as we do because these distinctions define us as "selves". In a sense these machines have no existence as selves in the way we membrane-bound beings do, so it is not possible for them to truly act morally - ultimately they will execute a moral random walk. ("They will execute a random walk....?" - it is not even clear there is a "them" to which the "they" in that phrase refers ! HAL and Skynet are stochastic processes that sometimes appear to act in an intelligent way....despite claims to the contrary from some AI / computational neuroscience hard-liners, we true membrane-bound living things are not that ! We have membrains !)

Its useful to remember that we are membrane-bound sentiences, at 5:00am in the morning when you wake up and "see the darkness" (ref Johnny Cash) know the kind of occasional 5:00am thing ....the general and very-clearly-in-the-darkness-of-pre-dawn fragility of one's prospects and position, the probable fundamental absurdity of much of the day to come, the real silliness of some plan that seemed extremely cunning as you thought about it drifting off to sleep the night before...

The thing is - for a membrane-bound sentience, whats outside the membrane doesn't really have to make sense, in fact lets face it , it definitely doesn't make sense. Our only job is to keep the bilge-pumps working across that membrane, pumping out whatever chaos we can, and pumping in whatever of the orderly good stuff we can - just making a difference at the margin, maintaining just enough of that voltage difference across the membrane which keeps things ticking along for ourselves and our pet rock and the big spider which lives a good life snug and dry in our mailbox thanks to us.

And its no mystery that we wake up today at 5:00am disappointed that we have no more idea of a decent solution to our problems, than we had at 5:00am yesterday morning, or the morning before.....despite all the progress we thought we made on each of those days, and how confident and snug we felt as we drifted off to sleep the night before, with several cunning plans and rationlisations seemingly securely in hand. That's because there is no final solution, and even though we pump out the bilges each day, the membrane leaks so we'll need to pump them out again tomorrow.

Whereas for a non-membrane-bound sentience - like HAL, or Skynet - or maybe slightly ourselves when we are younger and the world is also the oyster and we still have tidy minds that expect things to make sense - where there is less or no clear distinction between self and non-self, then either everything has to make sense and be resolved, or nothing can be - potentially the whole world has to be pumped dry and cleaned up and made to make sense, because there is a less well defined existential membrane available to distinguish self from non-self and other-selves, but which when stronger allows us to just concentrate on the limited task of pumping up just enough membrane voltage that we need and no more; keeping a bit of the chaos out and the order in, just enough for ourselves and a rock and a spider or two.

Monday, April 12, 2010

Avalanche Thermodynamics

Some days, if there's just the right resonance, you can, just for a little while, be better than you really are - like an electron quantum tunneling through an energy barrier it can't climb over, you can tunnel through the personality barrier, even if only for one day.

Friday late afternoon 9th April, there wasn't a breath of wind on lake Wanaka. I checked - through squinting intensely peering eyes in the twilight I observe the tops of the tallest poplar trees : the most flimsy autumn nearly-fallen, most delicate leaves on the very tallest tips do not move a millimetre. Stillness in a vast space like that has a kind of re-scaling effect - the lake becomes an intimate pond, everything seems within reach. (Wind is like a 5th dimension, another degree of separation between things - between people so they can't hear each other; making journeys longer, harder, rougher, bumpier. And usually scaling along with the other dimensions (big things like lakes have big winds, small things like glasses of water have tiny winds) - so everything seems oddly sort of closer together, in a big space, when there is no wind).

What luck ! - a big golden delicious friendly autumn anti-cyclone over the whole country - blue and gold skies, no wind. And the autumn sun never heats things up enough to kick off the huge convections and sea breeze fronts of summer, so the wind doesn't blow up strong and annoying in the late morning and afternoon like it does in the heat of January, in central Otago.

Adele and I had been quietly scheming for months to walk up the Rob Roy glacier track, from the Matukituki valley, just the two of us, the first time out and about without children for 18 years ! - thanks to a relative's visit and a little bit of begging (for three days children-and-house-sitting) and the miracle of my being organised enough to successfully apply for an annual leave day for the Friday (application made two whole days before the trip) ! That track has been a family tradition for nearly ten years but....Adele had never quite made it onto any of the various permutations of kids, grandmother and myself that had previously walked it (in retrospect...mistakes were made...) - so time to make amends. The first time I went up there was in 2000, with my daughter than aged 6 and I had no idea that at the end of the track was a stunning hanging glacier, above a beautiful alpine valley - I had just chosen that wiggly line off the map as it was about the right length and gradient for us - and not *too* wiggly. About an hour into the walk we became alarmed by rumbling sounds - almost making us turn back. After pausing for awhile to see what events these rumbles might presage - avalanches in our general direction ? time portals opening ? volcanoes erupting ? - and observing nothing, we continued on to the end and were stunned to find the cause - a deep blue hanging glacier far above us and the valley, large bits of which were falling off and crashing down into the valley's base, every 20 minutes or so.

So the plan was - drive up from Dunedin on Friday, walk the walk Saturday, drive back Sunday.

We left as early as we could on Friday morning - about 10:00am. There's nothing quite as good as setting sail on the first day of (what one feels, rightly or wrongly, is a deserved) holiday, with a holiday-beginner's determination and confidence that no stone of relishment, small delight or amusement will be left unturned - no opportunity for a laugh or potential point of interest will be overlooked. So first stop was Milton -we never ever usually stop there, but this was now an official road-trip and diversions were our business - for a take-away coffee on the sun-drenched terraces of the war memorial and a chat to a friendly local who said gidday - turns out she was raised on the slopes of Sandymount on the Otago peninsula, when there was a school still there, and she and Adele talked about "The White Masai" and other books they both had read, and she corrected us on a point of local history - Larnach of Larnach's castle fame did not benefit from the estate of his wife's family as much as we had thought, since it seems her step-father siphoned most of it off. And a look through the antique shops - Adele recognised the proprietor of one of them as a regular at the auctions in Dunedin. I guess, buy in town and retail from low-rent premises in small towns on the main highways North and South from Dunedin, with lots of wheel-traffic (the small towns just to the North of Dunedin also boast well appointed antique retailers - Milton is on the road south). (Thats something that always starts to unsettle me on a holiday - seeing the ingenuity with which other people are making a living, and contrasting it with my own plodding, and so the charter of my holiday starts to unravel and existential anxiety returns...but not today, I'm tunneling the barrier...)

So then on , turn right , and to Lawrence - we *do* always stop there, but usually just for the donut from the corner store. This time we stroll as well.

Next stop Alexandra (Roxborough is skipped on the way out but we stop for autumn fruit on the way back - peaches, plums, apples) - the road trip is official now, we buy a couple of CD's to play on the CD player (having a car that has one is still a novelty !) : Johnny Cash ; Sinead OConner. Plus a new gold pan (and a small shovel) as I forgot to pack my rusty old pan and on the return journey I want to try a spot I noticed a few weeks back at Beaumont, on the Clutha - a rocky river reef with potholes in it is exposed as the river is low and I wonder if the potholes may tend to trap heavier sediment - e.g. iron and gold (yep - later I do get some very small gold flakes, and lots of black iron sands, from the sediment at the bottom of one of these - after much very patient swirling and eluting and dissecting out the small gold flakes with a sharp pointy kitchen knife back at home). And stroll and admire the cedars and the old black and white photos of the long gone arbor day crowd who planted them, of which even the little kids must all be long gone now.

On again - to Cromwell, another stop to enjoy the autumn sun and then the final leg, skirting along the valley to Wanaka. We finally arrive at 5:00pm - thats a 7 hour journey but apparently some people can do it in 3.5, though I've never done better than 5. But in time to snag a good motel room before the "No Vacancy" sign goes up. We hurry to get down to the lake to walk in the sun just before it dips behind the mountains. Friday late afternoon 9th April, there wasn't a breath of wind on lake Wanaka...

Well Saturday was a Perfect Day, a Perfect-Day-and-I'm-Glad-I-Spent-It-With-You type of Perfect Day, blue sky and gold sun and still still. Away by 9:00am and off up the road to the Matukituki valley, past Mt Roy (thats another really good day walk but a bit of a gut buster - but the view at the top is incredible. Do it on a hot day, take plenty of water, and when you get back to the bottom, put your foot down and get to the lake as fast as you can and dive in before you cool off. Aaahhhhh.), onto the gravel road and through all the fords carefully - its the driest I've ever seen , only one had water flowing to wet the tyres.

I've got some new advanced technology for our walks now - a butane canister and a little shiny metal tripod thing that looks like some small and mischievous critter out of the Transformers movies - after only half an hour on the job of walking up that track we set down on a grassy spot overlooking the river for a totally undeserved rest and I masterfully if not majestically, wrangle the technology and boil the billy, for a cup of coffee - luxury !

There have been some big changes on the Rob Roy glacier track since I was there last - but not where you would expect ! The ridiculously dangerous looking landslides - the ones which look like somebody just pressed "pause" at a particularly exciting and fast moving part of their descent - such as the one with what looks like a completely unsupported whole floor of a large building projecting out into space over your head without any visible means of support - "don't whisper too loud or it will come down" - are exactly as they have been for the past 10 years, presumably protected by some sort of spatio-temporal anomaly.

Yet there are other parts where something very scary indeed has happened to quite small insignificant streams - in one section a torrent of assorted boulders has ripped across the track and through the trees since I was last there - an assortment of all shapes and sizes - from huge down to....large, fairly big, big, sizable, soccer-ball size, tennis-ball size, golf-ball size - and quite a few marbles. And if you pause to look, its not just chaos - there are some intriguing patterns, like the dry-stone-wall we notice by the side of the track. We look carefully and can see what has happened - the wall runs along a line of 4 trees, with a few metres between each tree. The gaps have been large enough to let most of the rocks through - until finally a metres-long boulder got stuck at an angle - still leaving gaps but smaller now, so the filter can now trap metre sized boulders - and the metre boulders leave smaller gaps again, so the wall will start to collect half-metre boulders, etc etc - each new addition caught by this filter further alters the properties of the filter, so stacking up what looks like an orderly straight wall of boulders , size-sorted with the biggest at the bottom. And then the occasional stone placed apparently by hand at the top of the wall, or some other unlikely place, where you feel sure it should have rolled off, or could not have got there by chance in the first place - but you can imagine how these represent the peak of the energy of the flood - these placements have had just the right amount of energy to make it to where they are and no further - and probably at the peak of the flood, so nothing more with that peak energy came through to knock them off. And then also, in such a torrent, the total energy will be distributed thoroughly among the millions of rocks, so that it will be able to explore the unlikeliest destinations and architectural constructions - just because there is almost certainly at least one rock with just the right amount of energy, to end up placed *just so*" at the tippety top of wherever you might care to nominate. In thermodynamic terms, the "temperature" of that rock fall was probably quite high.

(Its actually interesting to think about an avalanche like that in thermodynamic terms, and consider defining the "temperature" of the fall, in the sense of the distribution of the energies of all of the millions of rocks coming down. To recap on what "temperature" is - consider your cup of tea - the kinetic energies of all of the tea molecules in there, at any instant of time, ranges from zero for a very few that are stationary (just for that instant, by chance), up through lots in the mid range, on up to a few very energetic molecules moving very fast. And the hotter your cup of tea, the more that the tea molecules spread themselves out to occupy all of the energy levels available. "Temperature" is a parameter that describes the shape of this distribution, of how many tea molecules there are at each level of energy. Applying that to the rock slide, and thinking about the distribution of energy levels of all of the rocks, we must have a similar situation - at any instant there will be a very few rocks temporarily stationary, with zero kinetic energy (e.g. they have just collided and bounced back off another larger rock) ; many in the midrange, on up to (presumably) a very few very energetic rocks. So there should be an "avalanche temperature", in the sense of one or more parameters that describe the shape of this distribution of how many rocks there are at each energy level. Maybe the most interesting (and frightening) prediction of that thermodynamic way of thinking, is that there will be the very occasional extremely energetic boulder, heavy and moving very fast - much faster than the group average velocity of the avalanche as a whole - and the higher the "temperature" of the avalanche, the more of these there will be - though even in a "low temperature" avalanche, very occasionally you will see one. Maybe this accounts for the peculiar danger and almost bizarre unpredictability of mountain floods and avalanches - where people are swept away and killed by apparently docile babbling brooks that suddenly run amok after a bit of rain, in every-day spots you and the kids have been to lots of times : the idea is that we are actually here experiencing the micro-behaviour of large assemblies that usually you have to be the size of a molecule to experience - it is as though we have been shrunk down to the size of a tea molecule and experience directly the energies and collisions and unpredictability of individual tea molecules - rather than the smoothed out average behaviour we see from our large-scale vantage point. Hmmm - the thermodynamics of rocks slides - must look into it...).

Another change on the track is that there's some serious upgrading going on, using a small digger evidently dropped in by helicopter - looks like its become very popular in the last 10 years and all those feet are gradually wearing down the track base leaving a tangle of exposed tree root trip-wires - so its being widened and built back up, and in some places shifted.

Its a pleasant walk - Adele doesn't find it too bad, and I'm tunneling the barrier, being better than I really am - relishing the time, not thinking about work or wishing for something better or remembering something worse...

The most amazing change is up the top at the end of the track. What used to be a wide fairly flat grassy beautiful alpine meadow, is now devastation, like a bomb has gone off in a quarry pit. (We later learn this was all caused by a night's rain only two weeks ago - the Saturday night of the Warbirds-over-Wanaka weekend). We can see how high the water level was via debris caught in the lower branches of bushes, and flattened grasses. Amazingly the long-drop dunny they have up there survived - though apparently they had to dig it out, it was half buried. (Thank goodness it wasn't flushed in the process !).

(I reflect that if I had been caught out up there in the rain and had to pick the safest place to pitch my tent, I would have pitched it up the top in that meadow, right under the bomb. Yet further down where the creek roars and foams and looks ferocious would have been , counter intuitively, much safer. Stay well away from mountains when its raining ! Else you will likely experience thermodynamic rescaling, and what its like to be a tea molecule in a hot cuppa)

On the way back we did a reckless river crossing of the Matukituki river rather than go over the swing bridge, just for the hell of it. It was really a bit too deep, we shouldn't have done that.

It was the best day I've had in years.

Tuesday, April 6, 2010

Groups and Symmetry, Operators and Morphisms

We have repeatedly stressed the over-arching role of symmetry in modern physics. The systematic study of symmetry falls under the heading of "group theory" for the mathematician.

- John D Barrow, "Theories of Everything" (1990 - since updated and re-released as "New Theories of Everything")

I've been trying for awhile to understand this connection between groups and symmetry.

Mathematical groups were (and still are) (sadly) blandly (i.e. axiomatically) defined in textbooks, as consisting of a set of objects, and a binary operation that combines pairs of these objects to make product objects also in the set - for example the objects could be numbers and the operation could be addition : 2 + 3 = 5. One of the elements of the set is a distinguished one, called the identity - for example, "0" ; and for each element there is a unique partner called its inverse, and when these two are combined they yield the identity. For example 3 + -3 = 0. And the associative law holds when we write statements that combine in turn 3 or more objects. For example 2 + 3 + 4 = (2 + 3) + 4 = 2 + (3 + 4).

While seeming plausible if somewhat pointless, as a conceptual cartoon highlighting some basic properties shared by addition, multiplication and similar algebraic processes, there was no hint that these "groups" had anything especially to do with symmetry, or any clue about why they might be so important not just in mathematics but beyond, in physics and maybe even further afield.

I'm a barking mad collector of introductory maths books, so lets have a look at how a few of these present groups, and how they explain the relationship with symmetry :

"Introduction to the Theory of Finite Groups" by Walter Lederman , 1961, - a lucid down-to-earth favourite, but the word "symmetry" does not even appear in the text at all as far as I and the index can see.

On the other hand another '60s text "A Brief Survey of Modern Algebra" by Garrett Birkhoff and Saunders MacLane, from 1965, begins its chapter on Groups with...

"1. Symmetries of the Square"

"...the idea of "symmetry" is familiar to every educated person. But fewer people realize that there is a consequential algebra of symmetry....".

Moving on to the 1970's - Herstein's "Topics in Algebra" (1975) describes groups as "one of the fundamental building blocks for the subject today called abstract algebra" - but does not mention symmetry.

And then a more modern introductory textbook - "Contemporary Abstract Algebra" (2002)by Joseph A. Gallian. This has very many examples of geometric symmetry in the chapter "Introduction to Groups", starting with the symmetries of the square as did Birkhoff and MacLane - i.e. reflections and rotations that map a square onto itself.

Finally, the Princeton Companion to Mathematics (2008), introduces groups in a section headed "Four Important Algebraic Structures" :

"...wherever symmetries appear, structures known as groups follow close behind".

So of these 5 books, 3 explicitly make the link from symmetry to group theory - but none actually makes the opposite link : is it also the case that wherever structures known as groups appear, symmetries follow close behind ? Are "symmetry" and "group theory" coextensive ?

One answer seems to be provided by "Representation Theory", and the answer is "yes" - wherever groups appear, symmetries do follow close behind. This is because for any group, "Group Representation Theory" shows how the elements of the group can be interpreted ("represented") as matrix operators in a linear algebra on a vector space, in such a way that the multiplication of these matrices precisely mirrors the composition of the elements of the group. And these linear matrix operators are just reflections, rotations etc. In a sense the group provides the syntax of symmetry - the internal structure of it - and the representation of the group as a set of matrices provides the semantics by which we see the group structure at large, as rotations , reflections etc, of actual spatial figures.

(It seems to me that even in introductory text books, it would be an idea to demystify this relationship between groups and symmetry by making at least a passing reference to the enterprise of representation theory)

My bit of mathematical phenomenology

However it seems to me that considerations of symmetry in algebra arise at a more fundamental level, than is suggested by the examples such as geometrical symmetries of the the square, as provided by the technology of group representation theory.

A bit of phenomenological navel gazing (see below) at what is going on as soon as we write down any sentence in algebra, reveals implicit assumptions of underlying symmetry, and that the group concept is part of the fabric of algebra, rather then being a garment built from that fabric, as suggested by the textbook axiomatisation.

And I conclude that groups are essentially about composition of "operators" - and the basic concept of an operator is a very interesting and powerful one - a thoroughgoing "operator phenomenology" is an intellectually stimulating way of thinking not just in mathematics and physics but beyond.

A simple example from arithmetic - the operator-phenomenological recasting of

2 + 3 = 5


(+2) o (+3) = (+5)

(where I am using the o symbol to mean composition of operators)

- i.e. , "the plus two operator composed with the plus three operator gives the plus 5 operator". The "group operation" is not really addition , or multiplication, or rotation - it is always composition. It is the members of the group - operators - that increment and decrement, multiply, rotate.

The (on reflection) fascinating, distinctive , unexpected thing about "operators" is that they can be studied and manipulated independently of any individual subject or situation being operated on - they completely depart their substrate (numbers to be incremented and decremented, squares to be rotated...) and we study their internal interactions without any reference to a substrate. This "operator phenomenology" is obscured in the usual examples of groups such as integers under addition - because numbers are not obviously operators. It is much more obvious in group examples such as symmetries of a square, where the elements of the group are quite clearly operators - rotation and reflection- acting on a symmetrical substrate - squares, hexagons, circles etc.

Now for the humble phenomenological navel gazing that leads to these conclusions.

Algebraic sentences such as

c = a + b
e = c + d


c = a ^ b
e = c ^ d

(for whatever ^ we choose to define)


e = a * b * d

by their very nature describe a process that has a subtle inherent symmetry - that is , the process involves a transformation, that leaves some fundamental aspect of the transformed substrate unchanged (- a reasonable definition of symmetry).

The symmetry inherent in these statements, consists in the fact that the products of the process are identically qualified to be inputs to further processes - i.e. simply, we can take the product of the process "a" + "b", and feed it into a new process of adding "d". While the process of adding "b" to "a" does transform "a" into something else, that "something else" is precisely concordant with "a" in the way that it may be further transformed exactly in the way that "a" was.

(....of course this is exactly what algebra is. As Herstein puts it, to operate algebraically is to "combine two elements of a obtain a third element of the set". This seems to be a fairly trivial and obvious thing - but is actually a much more exotic and unlikely activity than it appears to be at first sight - it is extremely rare if not completely unknown, to see anything behaving algebraically in the natural world. Two atoms do not (normally) combine to make another atom (except in a fusion reaction) - they combine to make something else - a molecule. Language does not in general behave algebraically - two words do not combine to form another word, they combine to form a phrase, which is a different type of thing)

So - there is an inherent symmetry as soon as we do any algebra at all, and indeed we will find that the sorts of real world processes that may be usefully modelled by these types of algebraic statements, do posses clear symmetries not possessed by substrates that may not be so modelled.

Thus if "a" is a 10 degree clockwise rotation of a hoop about its center, and "b" is a 20 degree clockwise rotation, we can let c be (say) a 30 degree clockwise rotation and this working model makes perfect sense as a realisation of these algebraic statements, precisely because of the rotational symmetry of a hoop - a hoop rotated about its center is just as good a place from which to embark on further rotations, as it was at the start.

By contrast if, say, we let "a" = a bolt and "b" = a nut and try to express composing these algebraically : "c=a+b" == "the nut screwed onto the bolt", this does not work since we cannot go on to write c+d - there is no symmetry associated with this interpretation - the product of the two elements is different to either of them - there is no symmetry in the substrate available here, to permit algebra to be done.

But there is a refinement we need to make.....the symmetry that our phenomenological navel gazing perceives in the fabric of any algebraic sentence, may not necessarily be a global symmetry, preserving the same substrate no matter which operators are involved and allowing us to compose any two elements to obtain a third - it may only be a local symmetry allowing us to compose some terms. When we can combine any two terms , then these terms are truly operators, and there is a global symmetry ; by contrast when only some compositions of terms makes sense, then these terms are what we might call morphisms, and we are not doing algebra, though we may use formulations that look algebraic.

Consider for example the morphisms depicted by the diagram :

* -- a --> *
^ |
| \ b
e c |
| \ | |
| - . v
*<-- d -- *

- we may write as above

c = a + b
(i.e. c is the directed diagonal from upper left to lower right, and gives the same result as "a" followed by "b")
e = c + d

but we cannot write a + d - these two morphisms cannot be combined.

(And we cannot write a + a - a morphism cannot in general be composed with itself - unless it is the loop-back morphism that goes back to its starting point.)

This is because the symmetry inherent in these sentences is now just a local symmetry - the transformation a + b takes us to a place that looks locally the same as the place we started from - a point with incoming arrow and outgoing arrows - and from which we can embark on some further morphisms, but not any morphism. This is because there is not a global symmetry inherent in these sentences - when we zoom out and look at the whole picture, a + b has moved us to somewhere that looks different to the place we started from.

So there is this fundamental thing about operators , that distinguishes them from morphisms, and it is that thing that gives groups their distinctive nature, and that explicates the connection of groups with symmetry : an operator does not care where it starts from or where it sends something to , whereas a morphism does. Another way of putting it is that in a system of operators, such as a group, any substrate that one may provide for these operators to operate on - e.g. a square under rotation and reflection, a number system under addition and subtraction - must be mapped identically back to itself in some sense by any and all operators, simply because the result of any operation must be indistinguishably suitable as a jumping off point for further operations by any other operator.

"Where algebraic sentences are written then operators are not far behind"

"Where operators appear then symmetry and groups are extremely close"

I feel that the relationship between groups and symmetry is a little deeper and more interesting - less accidental - than is suggested by a cursory reading of the usual group axiomatics. And something of the flavour of the idea of a group is lost when we insist on the fully abstract set-based axiomatisation, and refuse to call the elements of the set "operators".

A few interesting (to me) questions come up from this :

* Is a system of morphisms almost a system of operators ? - can we incrementally augment a system of morphisms - i.e. , a directed graph - attaining a series of intermediate structures , which concludes in a fully globally symmetric system of operators forming a group ?

* Is there any graph-like diagram that can be used to depict a group ?

* What sorts of systems of operators are there, that are not groups ?

* Can we develop in logic an operator-based system of predication ?

...Since - I claim that the symmetry inherent in writing down algebraic composition of operators, consists essentially in the way the results of the composition may in turn be composed with other operators - as though there is some substrate being operated on that remains invariant under the operation, and so is identically available for further operation.

...and one way to think of this would be , as though the operators were predicates - "blue", "heavy", "sharp", and then the invariant substrate is the subject being described.

...and so an operator-based formulation of predication then would look something like

Blue(Heavy(Sharp(x))), rather than the predicate calculus formulation

Blue(x) and Heavy(x) and Sharp(x)

...and we may compose operators to obtain other operators in an interesting way - for example (maybe)

Heavy(Light(x)) = Does Not Exist(x)

* Physics tends to involve systems of operators; biology systems of morphisms ? (I'm thinking of networks of gene regulation etc). That is why Biology is "less symmetrical" than Physics ?

* Quantum physics tends to involve systems of operators, groups and much symmetry ; General Relativity systems of morphisms, without a group structure, and little symmetry ?

* Computer programming languages typically allow us to write sentences in various algebras, i.e. operator based ( - e.g. all languages support Boolean algebra ; most linear algebra , over various fields - real , and sometimes complex). Could we conceive of languages that are augmented to allow us to calculate with morphisms rather than operators ? Would this be useful for biology and bioinformatics ? (for example for doing graph transformations and calculations)

* Appetites and the self are fundamentally morphism-like things ; ethics and universal values are fundamentally operator-like things - "good", "evil" - that may be composed and studied independently of the self ? Can fundamental mathematical concepts inform moral philosophy - for example is there an ethics group, that summarises the pattern of interaction between fundamental operator-like moral terms ?

Saturday, January 9, 2010

Henley to Taieri Mouth

John Bull Gully picnic spot
Happy New Year !

31/12/2009 New Years eve day was fine and warm if a little windy in Dunedin and I managed to negotiate and mount a most-of-the-family (16 y/o and over excepted) expedition, to walk from the end of Taieri Ferry Road towards Taieri mouth. They started off a bit reluctantly on the justifiable basis of many times bitten (by my various previous family trip schemes and paternalistically induced suffering) many more times shy - however in the end were very good company and we had a good day of it. There is a "millennium track" along this route - one of a number of these around the countryside, and its a very well maintained and enjoyable track to walk. Its about 9kms right through to Taieri mouth and the Pacific Ocean and me being me was keen to go all the way - groans and growls all around at this suggestion initially but once we got half way, to a fantastic picnic spot down by the river / estuary at a place called John Bull gully, my offer to walk back and drive the car around the long way to pick up the rest of them at the other end if they wanted to continue was taken up, with even moderate enthusiasm - the charm of this track on a nice day had done its job and generated a second wind in what is lets face it mostly a fairly sedentary and un-intrepid family !

(Watch the stinging nettle just before John Bull Gully ! - its an interesting looking plant which seems to appeal to children who then touch it and get a very big fright)

I'd been out that way a few years before with a couple of people from work, and two of my at that time pretty small children, on a morning's canoeing outing (aka paternalistically induced suffering) - however on that day it was too windy so we gave up, after a bit of nautical nonsense involving me in my canoe towing the two small children in theirs and everybody being slightly out of control. There is a bit of a wind-tunnel / venturi effect through this gorge I suspect. New Years day 1/1/2010 looked promising for having another go at canoeing this place, after enjoying walking it the day before (i.e. - to quickly capitalise on my no doubt very short lived credibility from that successful expedition.....and probably knowing me, thereby overdo it !) - fine and warm and although gales were forecast inland, I couldn't see much going on out the window on New Years Day out our way in Dunedin on the east coast, and as they were westerlies I figured the sea-breeze that would be trying to blow up the gorge from the Pacific as the morning wore on and the land heated up, might cancel out the situational westerlies.

It turned out a great day - we managed to fluke canoeing down the river , which is estuarine at this point, on an outgoing tide , my 11 y/o daughter Rosie in one canoe and I in the other. Our canoes are pretty basic - I've got an ancient one-seater fibreglass river (i.e. round-bottom, no keel or rudder) canoe I've had for years , and the other one is a lurid pink two-seat plastic canoe suitable for kids - i.e. quite wide and stable. But its amazing what you can stow away in even a small canoe (keys, camera, cell-phone, goggle and flippers in case we wanted to snorkel, picnic lunch, water bottles.....and still plenty of room). And how much speed you can make with these streamlined vessels. At this time of the year birds have been breeding - we spotted some ducklings and at one point cruised close by some large black-back seagull chicks - the chicks seemed almost the size of adult oyster-catchers. Forgot to time it but it can't have been much more than 1.5 hours, including calling in and disembarking for a picnic at good old John Bull gully from the day before, where we saw a family offloading huge amounts of picnic equipment from an outboard boat up from Taieri mouth.

After completing the trip, disembarking and climbing a hill to get cell-phone coverage at Taieri mouth, we (politely) requested backup from home - Andrew (9 y/o) was fairly keen to canoe back up the river with me, so his Mum Adele very kindly drove down from Dunedin (about 30 minutes by car) to pick up Rosie and deliver Andrew and a cup of tea. All the while, the tide had turned so Andrew and I were able to canoe up on a (according to somebody I was talking to ) very strong incoming tide - maybe it was a spring tide, I forgot to check. So we had a fairly easy trip back up-river, with me towing Andrew some of the way. On the return journey I noticed now the black-back gull nesting sites, which seem usually to be in the bush a metre or two above the water - marked out by one of the parents standing there and then taking off and squawking and dive-bombing if you loiter. Rosie and I had not noticed these on the way down - maybe because the tide was out and the parents were down on the mud-flats feeding or leading mostly-sedentary families on New Years Day family trips.

Its a surprisingly beautiful little stretch this - once you get into the gorge a bit, either on the track or by canoe, you could for all the world be on some river in the middle of the Brazilian rain forest.....though just up over the next ridge, its all sheep and dairy farms, commercial exotic (pinus radiata) forests, and towns. Oh and the jet skis and outboard boats that scream up and down there on a nice day give the true location away a bit.

The inland (Henley) end is a popular fishing spot, you can apparently catch ocean-going trout. I have a New Years resolution, to go down there after work the odd day while the days are still long and try to catch a fish. Easier resolved than done but I'm hoping I can make it happen.

Wednesday, September 2, 2009

actabolism in two Chambers

I was looking for a word to describe the sum total of the thoughts and actions of a person - over an hour or day, possibly week (but not a life or even a year) and thought of perhaps "actabolism", based on a mixed-up analogy with "metabolism" which Chambers defines (offline, 1976 - a big red hardback dictionary ) as "the sum total of chemical changes in living matter".

(And since I was in any case mooching about a way to interpret some meaning into all the slog of miscellaneous microscopic myopic thinking and doing as being maybe somewhat like that great complex of miscellaneous microscopic myopic biochemical metabolism - a rather disturbing mess up close but actually supporting a worthwhile homeostatic constancy if you stand back a bit. An intricate machine to provide constancy in the face of friction and don't forget to dot the i's and cross the t's and put out the rubbish and file the weekly pointless management report because it all does have a point after all, its all part of the intricate metabolism of life - the worthwhile achievement of (more or less) homeostasis in the face of environmental, social, professional, psychological, familial and financial friction and adversity !)

Anyway - it turned out interesting to contrast that 1976 definition of "metabolism" - "the sum total of chemical changes in living matter" , with the slightly less poetic sounding online definition given by Chambers 33 years later in 2009 :

"sum of all the chemical reactions that occur within the cells of a living organism..."

So what has changed ? :

* "changes" has become the more technical and less agnostic "reactions"

* "sum total" , suggesting a complete enumeration of a collection, has become the more quantitative sounding "sum" - which vaguely suggests some sort of chemometric summation of reactions.

* ...and the lovely antique phrase "living matter" redolent of natural philosophy and the Victorians has become the more microscopically correct "cells of a living organism". (I wonder if the newer microscopically correct version is actually correct though...I would have thought a fair bit of metabolism occurs outside cells - e.g. in the action of salivary enzymes and gut acids on food....or maybe that is not counted as part of metabolism proper ?)

The other change in the online definition is that it goes on to add "...including both anabolism and catabolism of complex organic compounds", with these terms (anabolism and catabolism) hyperlinked as I have them. The offline version has both of these as separate dictionary entries but not of course inter-linked (and the entry for catabolism delegates to katabolism)

(I hadn't met these before but have met katabatic and anabatic winds, which are winds that blow down/up the slopes of mountains, as these cool or heat the air immediately above. Hence analogously katabolism breaks down compounds while anabolism builds them up. Nice words, I'm glad I met them).

Anyway getting back to "actabolism" - although Google finds it, its
clear it only makes it into their keyword index by virtue of being
an anagramatical typo' of "catabolism" - see for example where both versions occur.

So I do actually have freedom to operate here - there is no such word as actabolism -but my derivation is not pretty and also wrong. I really (?) need to replace the "bolism" with something denoting a thought or action, not the "meta", as this prefix supplies (?) the "sum total" part of the concept. Or so I thought with my meagre etymological knowledge

This brings out another interesting contrast between the offline and online definitions of "metabolism". The offline version occurs within the context of an ordered list of terms appearing on the page, whereas the online definition occurs on its own without any context - true there are links to the related terms anabolism and catabolism, but links are completely different if not diametrically opposed, to context. The online definition occupies a whole web page - in fact it is really more fragmentary than that, just a web sentence.

In this case the ordering of the terms in the offline dictionary is quite interesting and informative - it is not strictly alphabetical, in fact when I first looked in the big red book for the word "metabolism" I couldn't find it because this word comes after "metacarpal" and "metacentre" which confused my tiny mind ! Well - thats because "metabolism" does not (apparently), despite appearances, derive from the "meta" root after all - and the offline Chambers collects all of the words derived from the "meta" root together, even if this upsets strict alphabetical ordering.

(This is explained in a note in the dictionary's preface section - "The Arrangement of Entries" :

"...Derivatives are not listed in crude alphabetical order but in a more logical form....etc etc")

Grumpy-old-luddite-bastard-time-out :

How much of that sort of informative and rich non-semantic context that you get from "Arranging the Entries", are we going to lose in the new strictly semantic electronic information infrastructure ?

Snap-value-judgement-time-out :

Are hyperlinks always all they are cracked up to be ? Is the current web too hyper' ? Can / will the web stay the way it is now or do we need / will there evolve some "Arrangement of Entries" ? Maybe it needs to become more of a "semantic manifold", with local contextual structure, density and continuity, and less of a porous semantic web, of tangled links between tiny fragments.

True , I was only looking at one of the "freebie" definitions - but even in a
full online entry - e.g. (one of their marketing examples) - you still only get a single definition on a page - there is not the context of similar words to excite the pattern-finding and insight-forming parts of ones attention as you got in 1976. (Interestingly, the structure of that 2009 online page corresponds almost exactly to the design set out in "The Arrangement of Entries" note at the beginning of my big red dictionary of 33 years ago - even though there is no longer really any "arrangement of entries" needed, as there is just one per "page" !)

Well, after all that I still haven't settled on a word to denote , analogously with metabolism, the "sum total of the thoughts and actions of a person - over an hour or day, possibly week (but not a life or even a year)"