Tuesday, July 10, 2018

Miser Project: Hark! Is That a Theory I see Before Me?


2019-11-05 Update: Complete separation from the Wordpress posts
2019-10-31 Update: Tidy up to reflect the latest status and how to find archived forms.
2019-10-30 Update: Migrate from Wordpress to Blogger with elimination of advertising.  Comments will not carry over (no loss).  Some touchups to reflect abandonment of Hexo as a blog-production platform.
2019-01-18 Update: Introduce the latest 0.2.5 obtheory.txt prelude and notation section with corrections and improved text.
2018-10-24 Update: Corrected definition of  ¬ p in the notation. (Yikes)
My 2018 plan was to have a stable experimental setup at the Spanner Wingnut blog, preceding systematic revival of my permanent, persistent blogs.  My agitation over the restoration of blogging and the use of hexo to generate static server pages reflected my anxious desire to restore Numbering Peano, the blog devoted to The Miser Project and related theoretical topics.  As of October 2019, I am giving up on that approach, and also replacing the use of a free Wordpress account with this free Blogger account.  I am migrating the important current work first.

I had begun writing about my capstone career project on a Facebook Page and on GitHub, where there are also preliminary (mock-up) demonstrations of implementation.  Issues on the GitHub project have been used to address questions and provide preliminary documentation.

At the moment, documentation is in plain-text files on GitHub.  That may continue as an ultimately-dependable form of persistent record.   Each version of a file is identified with a link to the location of the latest version, as in the prolog of file obtheory.txt here.

Summary of the obtheory structure and the logical notation used


Mathematical notation is confined to text and the use of Unicode encoding of the text.   Without mathematical-notation support for blog pages, the most reliable means of presenting the plain-text form on the web is via images.

Having web pages and others, expressed in HTML notation, allows for greater expressive power.  Text has, within its limitations, useful control over layout.  We’d like both, and while wrestling to get generated blog pages in a stable form, with support for mathematical formulas, the use of screen captures here is the workaround.

Continuation

  1. ‹ob› Primitive Functions
    Mathematical characterization  of four primitive functions and allied primitive notions that establish the domain of discourse, Ob, in structure ‹ob› = 〈Ob,Of,Ot〉
  2. Narrowing ‹ob› for Computational Interpretation
    Summarizing the primitive notions and positioning for computational interpretation with additional restraints
  3. Representing Data as Obs
    Expanding on the difference between a logical mathematical theory and computational interpretation, noticing that obs themselves can be interpretations of data, that interpretation being carried over to a computational interpretation.  SML is used to demonstrate one operational interpretation in a programming language.
  4. Representing Functions in ‹ob›’s Abstract World
    Reasoning about functions on obs and then about interpretation of other structures by representation of function in interpretations.
  5. Interpretation, Representation, Computation, and Manifestation
    Reprise and account for specialized concepts in Miser Project, setting up for representation of the computation model