obreps: Construction Diary & Job Jar
c000000>
2024-04-10 -10:00 -0700
|
|
obreps: Construction Diary & Job Jar |
|
Status |
Date |
Description |
|
|
done 2024-01-08 |
2023-11-11 |
|
|
| 2024-04-10 | I definitly need to get hybridForm/ advanced enough so I can begin deepening this and other miser/ topics. | ||
| 2024-04-10 | Z2adic: I am musing about this and have difficulty not having it require a kind of floating point for exact rationals. I am also wondering how much difficulty there is in comparison of Z2adics. Comparison of 2's-complement naturals is not so difficult although it involves a simulated subtraction. Equality should be easier although the ob equality isn't good enough - we are using equivalence classes. So there we need to be simulating canonicalization along with that. | ||
| 2024-01-17 | There's a great deal to characterize around Z2adic, recursive function theory (for naturals?) and the different quasi-arithmetics that arise in these treatments and others (Church ordinals, von Neumann ordinals, etc.). This is rather rich. I wonder what useful material there is on the topics. | ||
| 2024-01-17 | index.md: Z2adic needs to be an interpretation/implementation (simulation?) and we need to square away the Z and the 2adic/arithmetic collapse. | ||
| 2024-01-17 | There definitely need to be folios for each of the topics, boole, combinators, and Z2adic. | ||
| 2024-01-15 | boole: The use of functional abstraction to develop the boolean vector cases seems appropriate and a harbinger of more to come. | ||
| 2024-01-08 | I will need to distinguish representation versus interpretation. And "a" representation and "an" interpretation. [dh:2024-01-15: The boole are representations in the sense of being equivalence-class isomorphic and canonical forms get it done.] | ||
| 2024-01-08 | Consider breaking up boole.txt coverage so more can be said about the bp and propositional-logic connection around truth-table semantics and also computational interpretation. | ||
| 2024-01-08 | Choose letter(s) for prefix on accession identifiers. "or" might work. [dh:2024-01-15: I think "r" for "reps" is good enough.] I will reflect that on index.md | ||
| done | 2024-01-17 | index.md: Cleanup synopsis to be applicable to obreps/, explain preview material accordingly | |
|
done 2024-01-15 |
2024-01-08 | Create tombstones for the topics brought here. | |
|
done 2024-01-15 |
2024-01-08 | index.md Make hybrid folio cover | |
| done | 2024-01-08 | Introduce a clean construction zone | |
 |
You are navigating
construction material of the Miser Project |
created 2023-11-12T04:15Z by orcmid |