Proofs
From Dontopedia, the open, paraconsistent wiki. (Last updated 2026-05-02.)
Proofs has 14 facts recorded in Dontopedia across 4 references, with 1 live disagreement.
Mostly:use only(2), verified by ai(1), derived from physics(1)
Maturity scale
raw canonical shape-checked rule-derived certifiedInbound mentions (5)
Other subjects in dontopedia point AT this entity as a value. These are inverse relationships — e.g. "X motherOf this subject" — and answer questions the forward facts can't. Grouped by predicate.
asksIfAskedClaudeToCheckAsks If Asked Claude to Check(1)
- Slava Cm
ex:slava-cm
isCertainAboutSolutionsIs Certain About Solutions(1)
- Lisamegawatts
ex:lisamegawatts
isPrettySureProofsStandUpIs Pretty Sure Proofs Stand Up(1)
- Lisamegawatts
ex:lisamegawatts
needsForVerificationNeeds for Verification(1)
- Orchestrator
ex:orchestrator
recentlyAddedRecently Added(1)
- Lisa
ex:lisa
Other facts (14)
The long tail: predicates that appear too rarely to warrant their own section. Filter or scroll to find a specific one. Each row links to its source.
| Predicate | Value | Ref |
|---|---|---|
| Use Only | Clifford Relation | [2] |
| Use Only | Associativity | [2] |
| Verified by AI | Claude AI | [1] |
| Derived From Physics | Physics | [1] |
| Are Valid in | Dimension 1 3 | [2] |
| Depend on | Associativity and Clifford | [2] |
| Do Not Use | Specific Dimension 1 3 | [2] |
| Rely on Exterior Algebra | Dim Proof | [3] |
| Are Fully Verified | Zero Sorry | [3] |
| Verified Pointwise | It | [4] |
| Chained Sequentially | Down the Chain | [4] |
| Extend to | Whole Chain | [4] |
| Flow Down | Chain | [4] |
| Uses | Lean | [4] |
Timeline
Timeline axis is valid_time — when each source says the fact was true in the world, not when Dontopedia learned about it. Retracted rows are kept for provenance; coloured stripes indicate the context kind.
References (4)
See also
Keep researching
Missing something or suspicious of what's here? Kick off a research session — a Claude agent will investigate, cite its sources, and file new facts into a dedicated context you can review before accepting into the shared view.