Thursday, August 29, 2013

Genealogy and memes

A recent WDYTYA highlighted part of Cindy Crawford's ancestry and showed her descent from Charlemagne. Someone estimated that 1000 hours of research had gone into this particular episode. These shows, and ads by sites like ancestry.com, have increased the interest in genealogy.

Of those 1000 hours, how many were related to backtracking from a dead-end? Humans have some type of reduction/closure operator that pares graphs in an ex-post-facto fashion so that the details (grunt work? - let's hear it for the Marines and soldiers who have their feet on the ground - and those who get themselves daily into the dirt for the collective well-being) get shuffled out. A look back then sees a glorified (dusted off) reality. Actually, if you look at the state-of-the-art of planning and controlling (it's under a general topic called, by some, earned value), it's too easy to miscalculate what is necessary going forward to accomplish some task (actually, we don't have 20-20 hindsight, either). To wit? Microsoft, Boeing, ... (it's a very long list, folks).

---

We had a similar increase in genealogical interest here around the turn of the century (the 1900 one). At that time, we had the 300th anniversary of Jamestown and New England. Too, it was a little past the 100th of the American Revolution. Now, we have seen, and are looking forward to, 400th anniversaries.

Aside: Our truth interests are several. Firstly, humans are directly involved with truth. We'll go into that further. Too, memes come into play when considering humans and their progress/regress.

---

For perspective, at the cohort level where some of Cindy's ancestor took the journey to this side of the pond (1600s), she would have 1000s of ancestors. What we see, or can retrieve, are single threads, sometimes twisted through inter-marriage. That means that there are holes in the tree; normal people don't have a filled in tree, say as compared to that of Princes William and Harry.

As a means to discriminate the unworthy, the upper crust had to be vigilant since they didn't want interlopers. Except, over here, people started to do data collecting, and analysis, early on (there are wonderful collections; yet, fires and other disasters have taken away lot -- even, to the current - the U.S. Army had a fire at its records site in Saint Louis, MO in the 1960s -- as you would guess, with losses).

So, being able to prove a lineage is more uncommon that we would like to consider. Most people have large holes in their trees. Or, some like to think of walls (solid material, like bricks) that keep one from venturing back. Trying to fill these in (or climb over the barrier) motivates a lot of work.

Aside: Any accumulation of genealogical knowledge resulted from prior work. It would be nice if it were like mathematics where later theorems, that are extensions, explicitly reference the former work. Not giving credit where due seems to be a norm in genealogy.

Aside: With Charlemagne, some still argue about the lines. Of course, Medievalist do more than just think of lineage. We need people to think of cohorts of Charlie or the state of the world when he was there (say, year of birth, 742).

---

Just as we see with genealogy, no problem/solution set is completely filled in. That idea, folks, is a panacea. The usual retort is that there ain't no silver bullet. But, we need to take it further (and will). A few comments, of late here, have involved the need to think of "singularities." Perhaps, that is an overused term (concept), so we'll need to coin something. The issue is partly mathematical, in scope.

Remarks:

03/03/2014 -- Example that will be the focus.

09/02/2013 -- Looking forward to future episodes.

09/01/2013 -- After seeing the Cindy episode in which she visits Charlie's grave, there is a guy (seen him before) who pompously says that Charlie was the father of Europe and Cindy ought to be proud (or something like that) about Charlie being her grandfather. Perhaps he was the father of Europe, as, after his son's death, they divided the kingdom amongst (some of) his grandsons. And, along with fighting the frequent raiders from outside (too numerous to name), there was fighting amongst cousins. Makes one wonder how these Christian countries adopted such practices as the Savior never condoned. Could there have been some type of united Europe back then? Well, the militaristic (aggressive) nature of some peoples, say Muslims, may argue against being too insular and defenseless. Or even the Vikings who found the monks and their property too easy to pilfer. So, are there lessons that we can learn from so long ago, 50+ generations?

08/30/2013 -- I browsed today a recent book on Charles II's ancestry. It has a recent publication date. Well, about the eighth generation, a hole appeared. Now, this would carry forward. And, one could probably find hole later one. Now, remember, eight generations is a couple of centuries. I don't think that anyone here would have a filled in tree going back 200 years. If there is someone who is close (say, as close as would be the Princes - see above - I would like to hear about it).

Modified: 03/03/2014

Monday, August 5, 2013

Mathematics I

Context: See Tru'eng anewfocus going forwardmathematics.

---

Introductions:

Our collective friend, Hitchens, said many things that we ought to think about now and then. And, based upon the websites that are quoting Hitchens, there are many who are doing just that. One of his quotes actually made it to the TED (deals with current, and future, technological issues) site.

In short (paraphrased), assertions without evidence can be dismissed without evidence. When I first saw that quote being reported in some web page from some source (actually, Google brings up several sites - but, my first awareness was several years ago), I felt that I would have responded to him, something like this (had I the quick wit under the spotlight and were in his presence): like axioms? You see, Hitchens was many times pushed beyond the point where he said that he didn't know. Yes, he said "didn't know" many times; but, either given his inherent talent at showmanship or mere frustration at putting idiots in a bottle or whatever other motive, Hitchens would go off on his erudition-showing response (sometimes, these were rants - however, well considered and stated).

---

Aside: Some attribute the quote to Richard Dawkins who made a similar statement. Wikipedia points to what is known as Hitchens' Razor with references. And, it's really a re-phrasing of an age-old slogan.

---

A constructive look:

Hitchens did not deal with mathematics, but he did respect results that were founded upon such. You see, that would be most of modern scientific models ("most" is arguable; however, we're talking 2000 plus and the fact that about every discipline has mathematized its knowledge base - many times to a large degree -- I ask, what discipline with any modicum of a quantitative does not use advanced statistical methods?). So, who of the modern domains has not used mathematics?

It turns out that there may be many who are not so learned (not meant pejoratively). As, this revolves around a central issue related to numeracy, or lack thereof, that has insidious implications for the future. We'll get back to that. Expect though, for me to show that numeracy limits us, many ways (not arguing against the great ideas founded upon numbers and the computational -- rather, consider, can our artifacts subsume Being?).

The basics:

We'll first have to deal with what exactly is this thing called "mathematics?" We can start with a few little pointers here and branch out. Please note, this approach is pseudo-constructive (albeit, not to the level of Bourbaki - yet, effective in its own way, as we will show).
Pythagoras
  1. An encyclopedia is a good place to start: Wolfram's MathWorld comes to mind. I have watched this grow (and, even, to a small extent, contributed). As well, the Wikipedia view is phenomenal (actually, what I love about Wiki is that I can look at something (that is well-sourced, usually) without running down myriads papers and books). By studying this type of material, one could get a fairly good idea of what mathematics is, though several issues, such as motivation, would not be as apparent as could be. As Plato thought, arithmetic can be one of the starting points for mathematical education. Geometry, and its use in our world, is the next step. 
  2. We can also take a behavioral view and say this: mathematics is what mathematicians do (this little thing out of St. Andrews is wonderful - please look at the Mathematician of the day page). If we cared to study all that has been done, then we might have some idea of what this field encompasses. But, much of mathematics is mental (and, we don't normally expect people to read minds). One may see symbols and numbers, yet, their use is not always intuitively obvious. On the other hand, we can see what has been labelled under the concept, even if future perturbations, and extensions, would not be seen using this descriptive approach. However, there is one little thing that lurks: is mathematics more than what people do (next bullet)?  
  3. Ah, metaphysics coming in? Let's keep it simple, as we could discuss, for a long time, what might be called the differences between big "M" (Mathematics) and little "m" (mathematics). How can we circumvent that? You see, if you look at MathWorld (or what Mathematica does), you'll see all sorts of operative marvels (basis of STEM) with results that astound (our technological age) when looked at closely. Yet, just ask yourself if the reality behind whatever is being expressed (or computed or manipulated) by our artifact (assuming small m, okay?) is equivalent to what we understand via our use of the artifact? Another way to think of it is to consider the map-territory problem. First, extend "map" to encompass the sum total of our prowess with mathematics. The territory? Yes, we would really like to know (but it's not the former). In short, we tend to get these two merged (map-territory) as there seems to be no real way to do the differentiation (ability to note differences) many times (as in, that particular action is underdetermined - note, please, the poster is very much aware of proof-theoretic powers - yet, the poster sees the importance of being aware of quasi-empiricism and its issues).   
  4. Is mathematics that which can be built from axioms and proofs? We all know that mathematics involves theorems. Some of these are applicable to our lives; others are beyond the comprehension of most (if you listen to von Neumann, he would say beyond the comprehension of any - see first quote). Now, there are many ways to argue proof methods, but logic is involved. Then, that brings in knowledge and how we know. Also, we need to consider Russell's and Whitehead's efforts to put a firm basis under logic. It took hundreds of pages to get to proving (by terse equations) simple addition which we can teach early on to the human mind. Too, Russell, and later work, brought in computablilty issues which may or may not be problematic to the future of automation (ah, letting the cat out of the bag - the web is laden, heavily with pseudo-mathematical pursuits what need our scrutiny).           
Now, that listing is not trivial. But, the list does include the important things and has a progression that we'll be looking at in depth (basis for truth engineering's necessity and operational look).

  1. What? We know that we have mathematics and its use; such is abundantly evident. Much work in mathematics has been done over the years. The web has allowed an acceleration of means to get access to information about mathematics and provides a common platform for discussion and use. Marvelous techniques exist. The trend seems to be toward automation of some of these. The truth, folks, is that higher-order computation (as in advanced mathematics) requires, generally, human involvement in two, and perhaps more, areas. One is input (see the qualification problem as an example -- numeric processes have oodles of decision states prior to execution - in other words, setting up a solution attempt is a creative task). Then, we have output issues dealing with more than interpretation. For instance, ramification is important. 
  2. Who? We see people doing mathematics. Only some of those are involved with computation. But, certain classes of problems are computationally oriented and will continue to be so as technological progress improves computational artifacts and methods (of a very wide variety). That there is motivation to learn and do mathematics seems obvious, too. We have not seen a decline in the interest. More later. 
  3. Where? As we use mathematics, the larger picture does not go away. But, we'll defer all of that til later. 
  4. How? As, there is controversy about hubris and its appearance. It's almost impossible to know this up-front. In retrospect, we see it, or think that we do, many times. Unfortunately, right now, we have the finance community running off after multitudes of seemingly smart approaches; we need to push some type of sand box (or, at least, now, some notion thereof) into the awareness of these, folks; this we would like to demonstrate.
---

As stated at the start, there was some nod to Hitchens in this post albeit we are dealing with mathematics. The content here takes a broad view and tries to identify the major pieces. Getting into all of the nuances will be on-going, albeit the looks will be more broad than deep (for awhile, at least - at some point, we'll have to take on a few of the more important points in a technical manner).  

Remarks:

06/25/2015 -- ACM Communications had an article (Created Computed Universe) that suggest that our computional prowess ought to lead to agnosticism rather than to anything else. Of course, my initial remark: So many modern minds conjure and contort in order to introduce what is not much different than what some knew many millennia ago in the desert.

01/23/2015 -- Software? Well, we are talking more than apps (latest craze). We are dealing with fundamental questions which, then, gives rise to normative issues in mathematics (and, by extension, to the computational).

01/05/2015 -- Added context line at top. We're at a renew point.

03/03/2014 -- Acknowledgements, including math pedigree, will be expanded.

08/06/2013 -- Investigative journalism likes its Five Ws. That is fine for their topical views. To get technical, we have to add in, at least, an H (How?). Too, we need to change the order, according to various factors: domain, focal area, and more.

So, the order of the above list is "What?, Who?, Where?, How?."  There are other orders. For instance, "How?" have could come before "Where?" in the list. That, though, would have changed the emphasis (recall, truth engineering is the overarching theme).

We're ignoring Why? (why not?) and When? (ah, history of mathematics -- the future, too?).

08/05/2013 -- In this interview, Hitchens uses "horribly un-reflective" (around 12:00) in response to his Iraq stance's outcome (turmoil amongst those who wondered where he was coming from?) and whether he had, or not, tempered the position that he taken at the time. So he admitted to being reflective, which we would all have known anyway. As said above, lots of his positions were forced by reacting to idiots and their attempts to master him.

Modified: 06/25/2015