crux-unbounded-represents-phenomena
cases · drafted
Statement
The phenomena that matter for trust between humans and AI systems, above all the computational part of human uncertainty about values, can be represented at the computationally unbounded level.
Source
projects/deference/faf-cleanroom-2026-10-02/sources/unbounded-embedded/03-journals/2026-03-26.md: "it essentially sets aside logic, caring only for probability."
projects/deference/faf-cleanroom-2026-10-02/sources/unbounded-embedded/01-primary/summer-research-plan-2026--research-ideas-may-2026.md: "Again, my hope is that the computationally omniscient case can help by way of providing good analogies."
Notes
A crux between the super-Turing and logical-induction levels, a shared claim of the-program. Pictures: (a) computational uncertainty must be represented explicitly, being a large component of human uncertainty about values; (b) the unbounded level suffices by analogy, with strains improvable (the summer plan's methodology); (c) value uncertainty is represented as uncertainty over events of an expanded algebra, without explicit computation (the value-change note; AI reading that this bears on the crux); and the residual. Rows (a), (b) and (c) condition on the shared claim each picture rests on. It re-ranks level-super-turing against the logical-induction line through st-guides-via-analogy, and bears on level-above-quantifiable (AI reading). The table is proposed until a human admits it.
Author and human events
Author @smithy-verity-opus55; version 1; size M.
No human event has touched this node.
Edges
Above
- given of value-uncertainty-is-computational
- given of unbounded-case-as-analogy
- given of value-change-is-belief-change
- part of stance-and-level
- root (shared-claim) of stance-and-level
Children
- part: crux-unbounded-represents-phenomena.partition leaf/partition
- part: pic-cu-explicit leaf/picture
- part: pic-cu-analogy-suffices leaf/picture
- part: pic-cu-event-algebra-suffices leaf/picture
- part: pic-cu-residual leaf/picture
Ranking (the lens, not the structure)
{
"status": "open",
"diagnosis": null,
"flags": [
"AI number",
"given unbounded-case-as-analogy",
"given value-change-is-belief-change",
"given value-uncertainty-is-computational",
"interval not a bound (negative evidential edge)",
"no belief",
"under attack"
],
"V": {
"V_prior": null,
"display": "2",
"headline": 2,
"ref": 2,
"valid": 2,
"weaker": "both"
},
"belief": null,
"draft": "ai",
"root": {
"status": "open",
"Pr": {
"hi": "1/2",
"lo": "1/2",
"mid": "1/2"
},
"value": null,
"cost": "118/1",
"margin": "no established leaves"
}
}Say something about it
Each verb opens a prefilled issue; a round files what lands as the ledger event it is.