The Miser Project |
miser>
ob>
index>
0.0.4 2024-01-18T18:45Z |
The elaboration of the fundamental structure,‹ob› = 〈Ob,Of,Ot〉, is provided here. The essential characteristics of obs and reasoning (in Ot) about functions (thereby in Of) on obs is explained and expanded upon.
There is also the introduction of uninterpreted symbols, the literal individuals (lindies) that have no intrinsic significance while being valuable as data in computational interpretations involving the obap universal function and oFrugal.
This placeholder links to raw materials and notes, including text files. There will be organized folios of content as consolidation of documentation on the web progresses.
ID | Status | Started | Topic |
---|---|---|---|
obtheory | 1.3.0 2024-01-15 | 2017-08-24 | ‹ob› = 〈Ob,Of,Ot〉Mathematical Structure |
CFob | 0.1.0 2023-11-10 | 2018-02-04 | Canonical Form of obs |
Diary & Job Jar | undated | 2023-11-12 | Notes until there is better narrative material |
I invite discussion about Miser Project topics in the Discussion section. Improvements and removal of defects in this particular documentation can be reported and addressed in the Issues section. There are also relevant projects from time to time.
You are navigating the Miser Project on Github |
created 2024-01-13 by orcmid |