miser
|
The Miser Project |
orcmid.github.io>
miser>
ob>
index.html>
0.1.4 2026-06-20T16:04Z |
As summarized in the Miser Project introduction, the fundamental entities are obs and their properties are expressed in terms of a mathematical structure, ‹ob› = 〈Ob,Of,Ot〉with
- Ob the “domain of discourse”, any and only entities of the structure, loosely referred to as the Obs
- Of the functions that there can be with only obs as operands and results
- Ot the expressions in which the theoretical characteristics of Obs, functions in Of, and predicates about them are postulated
Informally, Ob is where the obs subsist, Of is where functions on obs reside, and Ot is a mathematical-logic means of characterizing–talking about–those.
The use of structure triples in this manner will be valuable in establishing ‹ob› representations for structures of other kinds, obReps, achieving oMiser computational interpretations for those other structures: various arithmetics, algebras, logics, and practical structures of unformalized kinds.
The authoritative specification of ‹ob› = 〈Ob,Of,Ot〉is in the obtheory.txt file. The computational model founded on ‹ob› is developed under the obap topic.
Status
Current activity involves migration of text files from other areas of the repository to the web-based public face of the repository. While migration is underway, there are placeholder links to raw materials and notes, including text files.
Authoritative material is maintained in text files that can be downloaded and consulted independent of the GitHub repository and availability on the Internet via web pages. There will be improved organization and web materials as development proceeds.
There are also text notes on topics that are being researched prior to resolution and documentation in web materials.
Related Material
| ID | Status | Started | Topic |
|---|---|---|---|
| obtheory | 1.4.5 2025-04-05 | 2017-08-24 | ‹ob› = 〈Ob,Of,Ot〉Mathematical Structure (authoritative) |
| CFob | 0.3.0 2026-06-18 | 2018-02-04 | Canonical Form of obs (authoritative) |
| Uchar | 0.0.1 2024-04-10 | 2024-02-10 | Universal Character Names for Identifiers |
| Diary & Job Jar | undated | 2023-11-12 | Notes until there is better narrative material |
A 2018-2019 series of blog posts provides original narratives on the ‹ob› = 〈Ob,Of,Ot〉structure. These will be supplanted under this Miser Project topic over time.
- Miser Project: Hark! Is That a Theory I see Before Me? 2018-07-10
- Miser Project: ‹ob› Primitive Functions 2018-08-26
- Miser Project: Narrowing ‹ob› for Computational Interpretation 2018-09-05
- Miser Project: Representing Data as obs 2018-11-16
- Miser Project: Representing Functions in ‹ob›’s Abstract World 2018-12-03, also dealing with interpretations of other structures in ‹ob› = 〈Ob,Of,Ot〉, leaning toward computational interpretations. This will be reflected under the obreps topic.
- Miser Project: Interpretation, Representation, Computation, and Manifestation 2019-02-11, lengthy treatment of computational interpretation and a perspective on the appreciation of computation applied to human affairs. This will also be repurposed to other topics of the Miser Project.
Using a GitHub account, discuss Miser Project topics in the Discussion section. Propose improvements and removal of defects in Miser Project documentation and software in the Issues section. There are also relevant projects from time to time. For any security concerns, please consult the project security policy.
|
You are navigating the Miser Project on Github |
created 2024-01-13 by orcmid |