unbounded-case-as-analogy
leaf/assumption · drafted
Statement
Computationally omniscient models provide analogies for bounded models in the way reflective oracles do for logical induction, and where the analogy is strained it can be improved.
Source
projects/deference/faf-cleanroom-2026-10-02/sources/unbounded-embedded/01-primary/summer-research-plan-2026--research-ideas-may-2026.md: "I think computationally omniscient models can often be a good analogy for more bounded models, as reflective oracles are for logical induction."; "Again, my hope is that the computationally omniscient case can help by way of providing good analogies."
Notes
The maintainer's methodological stance in the summer plan; it is picture (b) of the representability crux. Conditioned on self-knowledge-substitution, the mechanism the same paragraph gives for the analogy.
Author and human events
Author @smithy-verity-opus55; version 1; size S.
No human event has touched this node.
Edges
Above
- given of self-knowledge-substitution
- given self-knowledge-substitution
Ranking (the lens, not the structure)
{
"status": "open",
"diagnosis": null,
"flags": [
"AI number",
"given self-knowledge-substitution"
],
"V": {
"V_prior": null,
"display": "2",
"headline": 2,
"ref": 2,
"valid": 2,
"weaker": "both"
},
"belief": {
"J": 0,
"mid": "23/40",
"range": [
"3/40",
"1/1"
],
"width": "1/1"
},
"draft": "ai"
}Say something about it
Each verb opens a prefilled issue; a round files what lands as the ledger event it is.