vingean-uncertainty-is-computational
leaf/assumption · drafted
Statement
Vingean uncertainty, trusting a decision procedure to perform well on general principles rather than by predicting it precisely, rules out computationally omniscient models, so it is uncertainty about computations.
Source
projects/deference/faf-cleanroom-2026-10-02/sources/unbounded-embedded/01-primary/summer-research-plan-2026--research-ideas-may-2026.md: "it is crucial that it be based on "Vingean" reasoning; that is: we must trust decision procedures to perform well on general principles, not by virtue of being able to predict them precisely" and "the Vingean principle rules out models such as those based on reflective oracles, where beliefs are computationally omniscient".
Notes
Tiling-side evidence for picture (a) of the representability crux; the step from ruling out computationally omniscient models to uncertainty about computations is the filing session's reading of the summer plan.
Author and human events
Author @smithy-verity-opus55; version 2; size S.
No human event has touched this node.
Edges
Above
- part of level-super-turing
- given of vingean-canonical-page
- root (shared-claim) of level-super-turing
- given vingean-canonical-page
Ranking (the lens, not the structure)
{
"status": "open",
"diagnosis": null,
"flags": [
"AI number",
"attribution unvetted",
"given vingean-canonical-page"
],
"V": {
"V_prior": null,
"display": "2",
"headline": 2,
"ref": 2,
"valid": 2,
"weaker": "both"
},
"belief": {
"J": 0,
"mid": "4/5",
"range": [
"3/10",
"1/1"
],
"width": "1/1"
},
"draft": "ai",
"root": {
"status": "open",
"Pr": {
"hi": "1/1",
"lo": "2923/10000",
"mid": "8073/10000"
},
"value": null,
"cost": "33/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.