miser
|
The Miser Project |
orcmid.github.io>
miser>
ob>
index.html>
0.1.0 2026-06-15T19:49Z |
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 are all 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 formulated
The use of structure schemes in this manner will be valuable in establishing representations between structures of other kinds using Obs and the oMiser computational interpretations for those other structures.
Related Material
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.
| ID | Status | Started | Topic |
|---|---|---|---|
| obtheory | 1.4.5 2025-04-05 | 2017-08-24 | ‹ob› = 〈Ob,Of,Ot〉Mathematical Structure (authoritative) |
| CFob | 0.1.0 2023-11-10 | 2018-02-04 | Canonical Form of obs |
| 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 |