Monday, February 24, 2014

Focus going forward

Context: See Tru'eng anewfocus going forwardmathematics.

---

Truth is not an easy thing for us to process, yet it's at the core (several senses) of life which we see flow around us. Nature is the prime example, always there. And, it's a big subject.

We, from certain viewpoints, are in, and of, Nature (hint: I'm using big "N" just as we see capital "E" used for Evolution - the use of the big "E" says what?). And, we learn more about this all the time. Debatable extensions can be made to our knowledge (some say, it's the other way around) that address the us that is beyond Nature. Yet, as the operationalist view says, who cares?

That head-in-sand attitude is counter-productive which we intend to show. In essence, what we are heading toward is an explanation of how we need to switch our "limit" thinking in order to allow a more full experience and illumination. The following list points to focus areas.
- Incompleteness - This is, in part, the motivation for establishing, better, the basis for going forward. That is, we need to get back to looking at what "limits" abound (via undecidability, computablility, etc.). Alon Amit describes what is behind Kurt's theorems. In particular, note the four properties of interest: Effectiveness, Consistency, Completeness, Richness. He stresses that the theorems work without any meta-mathematical assistance. True; it's great to have his post as a source for further discussion. Yet, we will address a need for "meta" views as we consider t-issues. ... As an aside, Quora looks like it would be an interesting place to hang out.   
- Codecademy - This site will be used to explore "code" and its existential meanings within the context of the emerging overlays (cloud, etc.). Plus, there will be other focal points related to our interchanges with our artificial partners. However, codecadmy will always be known as the first one that I encountered. ... Not interested in collecting points or showing prowess (so, ignore those, in my case, as I play around on the site). 
- The sites of ajswtlk and ThomasGardnerSociety are content sites. In one thing, we'll take the content  management thing a little further. Too, though, we will use the ajswtlk site for matters specific to truth engineering and code. TGS, on the other hand, can serve as an example of the broader picture (persistent information and its maintenance - too, historic genealogy as study of our progress - memes, et al.).   
- Blogging: see Ajswtlk. Too, redo the survey of progress in this area by others. For instance, Klout's approach makes me think of how there might be a "truth" assessment (to be discussed). 
...

In terms of computing, most are users. We tried early to get end-user computing. Some, now, call this domain-specific, yet, there is the larger picture. JS (thanks, Sun) brought forth one enabling bit; the whole thing has mushroomed (many different approaches about - just read on Node).

As I look at the long history of computing, things keep getting re-wrote, time and time again. Everyone thinks that their stuff is better (human nature). At some point, though, we will need to have the notion of "proven" brought to bear. And, strength will deal with truth more than not (for a long time, Made-off seemed strong).

Disclosure: We like that apps have grown, without bounds, it seems. But, the larger pictures comes into play here, to boot.

Remarks:   Modified: 01/05/2015

02/25/2014 -- Starting on 02/23/2014, in the evening, I have spent some time (now and then, as I could spend some uninterrupted minutes) doing lessons at Codecademy. As of now, I have completed 48 of these (HTML, jQuery, APIs). What completion means is coding up the example sufficiently to run and to get by the evaluation that allows the next step.

Let's say this. It has been a nice review session. Too, getting back to code, a truism comes to fore (some say that there are two intelligent types - detailed and intuitive -- ignoring Gardner's seven, for now). Detailed is what we see with engineers, programmers, and such. In fact, handling details in that manner deals a lot with deep stuff (far beyond what we see with Watson). Intuitive? Management (a big bucket, for now - but, it deals with things that only humans know, for now - it is arguable that this will continue to be of the essence).

Actually, we need to exercise both. However, I did mention tedium before. Sometimes, interfacing with the machine is rewarding. Most of the time, it stinks (but, doing code is a good opportunity to practice patience, focus, carefulness, ...). Now, can the machine ever match intuition (not talking in the Turing sense, rather int he sense where we need to look at being)? ... Anyway, playing with the lessons was real nice in that things interpreted immediately, once expressed properly. ... There are other things that I want to peek into, but Ruby on Rails is next.

02/26/2014 -- Acknowledgements for Lucio Arteaga.

02/28/2014 -- Edited bullet on blogging. Added in reference to Klout, seen in Bloomberg's Businessweek.

03/03/2014 -- We need to relook at several things. Yes, like, bringing memes (and more) to the fore in the discussion. Mathematicians have their "ancestors," know about them (and their contributions), and honor them. What other field does that? My mathematical pedigree: Galileo Galilei (1585), Vincenzo Viviana (1642) Isaac Barrow (1652), Isaac Newton (1668), Roger Cotes (1706), Robert Smith (1715), Walter Taylor (1723), Steven Whisson (1742), Thomas Postlethwaite (1756), Thomas Jones (1782), Adam Sedgwick (1811), William Hopkins (1830), Arthur Cayley (1864), Andrew Russell Forsyth (1881),  Edmund Taylor Whittaker (1895), G.H. Hardy (), Edward Charles Titchmarsh (), Andrew P. Guinand (), Lucio Arteaga (1964), the blogger (). I took it back to 1585 since that would be co-temporal with those who were involved with the Great Migration to New England. Too, note that the ancestor is an adviser or mentor or tutor. This brings to mind that a meme'tic look at descendancy would consider the influence of step-child-ness. I have found many of these relationships.

01/05/2015 -- Renewal, see Context line.

No comments: