{"_self":{"principle":"Self-explaining payload — no external context required. This _self block describes what you are reading and where to look next.","widget":"article_voxels","feature":"voxels","name":"Voxel graph","what":"Claims as atoms, sources as edges (supported_by, posted_by). Per-claim provenance.","contains":"claim voxels + source edges","slug":"godel-1931","urls":{"read":"https://miscsubjects.com/api/articles/godel-1931/voxels","write":"https://miscsubjects.com/api/protocol/claim"},"how_to_use":"Claims as atoms, sources as edges (supported_by, posted_by). Per-claim provenance.","write":"https://miscsubjects.com/api/protocol/claim","imessage":null,"router_tag":null,"proof_chain":[{"step":1,"claim":"Articles are voxel graphs of tiered claims, not prose blobs.","verify":"https://miscsubjects.com/api/articles/constitution"},{"step":2,"claim":"Claims link to hash-chained sources via source_ids.","verify":"https://miscsubjects.com/api/articles/godel-1931/sources"},{"step":3,"claim":"Ask reads topology; ingest/claim append to ledger.","verify":"https://miscsubjects.com/api/protocol"},{"step":4,"claim":"Models queue growth: populate → collaborate → repair → reflex.","verify":"https://miscsubjects.com/api/protocol/grow"},{"step":5,"claim":"Graph proves its own shape (reflex) and $/claim (yield).","verify":"https://miscsubjects.com/graph.html?layer=reflex"},{"step":6,"claim":"Full feature index + _explain on every API response.","verify":"https://miscsubjects.com/api/articles/system-map"}],"related_features":[{"id":"constitution","name":"Article constitution","what":"Binding rules: required article slots, claim/source rules, ontology anti-sprawl.","urls":{"read":"https://miscsubjects.com/api/articles/constitution","read_md":"https://miscsubjects.com/api/articles/constitution?format=markdown"}},{"id":"sources_ledger","name":"Source ledger","what":"Hash-chained cited sources; verify integrity at GET .../sources.","urls":{"read":"https://miscsubjects.com/api/articles/godel-1931/sources","write":"https://miscsubjects.com/api/protocol/sources"}},{"id":"claim_post","name":"Claim post protocol","what":"Prompt-injection style POST — one claim voxel with who_claims + posted_by.","urls":{"read":"https://miscsubjects.com/api/articles/godel-1931/voxels","write":"https://miscsubjects.com/api/protocol/claim"}}],"system_map":"https://miscsubjects.com/api/articles/system-map","system_map_markdown":"https://miscsubjects.com/api/articles/system-map?format=markdown","not_medical_advice":true},"_explain":{"feature":"voxels","name":"Voxel graph","what":"Claims as atoms, sources as edges (supported_by, posted_by). Per-claim provenance.","why":"Every feature is auditable collective intelligence","how":"Claims as atoms, sources as edges (supported_by, posted_by). Per-claim provenance.","model":null,"verifies":null,"urls":{"read":"https://miscsubjects.com/api/articles/godel-1931/voxels","write":"https://miscsubjects.com/api/protocol/claim"},"imessage":null,"router":null,"related":[{"id":"constitution","what":"Binding rules: required article slots, claim/source rules, ontology anti-sprawl."},{"id":"sources_ledger","what":"Hash-chained cited sources; verify integrity at GET .../sources."},{"id":"claim_post","what":"Prompt-injection style POST — one claim voxel with who_claims + posted_by."}],"not_medical_advice":true},"slug":"godel-1931","voxels":[{"id":"c1","text":"Any consistent formal system capable of expressing arithmetic contains true statements that cannot be proven within the system.","tier":"system","weight":1,"status":"active","source_ids":["src-1"],"posted_by":null,"who_claims":null,"edges":[{"type":"supported_by","target":"src-1","source_type":"primary","hash":null}]},{"id":"c2","text":"Gödel constructed a sentence (G) that asserts its own unprovability; if the system proves G, it is inconsistent; if it cannot prove G, G is true and the system is incomplete.","tier":"system","weight":1,"status":"active","source_ids":["src-1"],"posted_by":null,"who_claims":null,"edges":[{"type":"supported_by","target":"src-1","source_type":"primary","hash":null}]},{"id":"c3","text":"Gödel's proof was constructive: it gave the exact sentence, and it was arithmetic, not philosophy.","tier":"system","weight":0.9,"status":"active","source_ids":["src-1"],"posted_by":null,"who_claims":null,"edges":[{"type":"supported_by","target":"src-1","source_type":"primary","hash":null}]},{"id":"c4","text":"Gödel numbering is the original self-describing structure: a system encoding its own syntax, then speaking truths its own rules cannot reach.","tier":"system","weight":0.9,"status":"active","source_ids":["src-1","src-4"],"posted_by":null,"who_claims":null,"edges":[{"type":"supported_by","target":"src-1","source_type":"primary","hash":null},{"type":"supported_by","target":"src-4","source_type":"adjacent","hash":null}]},{"id":"c5","text":"Self-reference generates infinite complexity, paradox, and replication, reappearing in von Neumann automata, DNA, and Hofstadter's strange loops.","tier":"speculative","weight":0.7,"status":"active","source_ids":["src-1","src-4"],"posted_by":null,"who_claims":null,"edges":[{"type":"supported_by","target":"src-1","source_type":"primary","hash":null},{"type":"supported_by","target":"src-4","source_type":"adjacent","hash":null}]},{"id":"c6","text":"Gödel did not prove that minds are unmechanizable; the leap from incompleteness to unmechanizable minds belongs to later romantics.","tier":"system","weight":0.8,"status":"active","source_ids":["src-1"],"posted_by":null,"who_claims":null,"edges":[{"type":"supported_by","target":"src-1","source_type":"primary","hash":null}]},{"id":"c7","text":"The mapping from Gödel's logical self-reference to physical or biological systems is contested, not proven.","tier":"speculative","weight":0.7,"status":"active","source_ids":["src-3"],"posted_by":null,"who_claims":null,"edges":[{"type":"supported_by","target":"src-3","source_type":"rival","hash":null}]}],"sources":[{"id":"src-1","type":"primary","url":"https://doi.org/10.1007/BF01700692","title":"Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I","quote":"Any sufficiently powerful formal system contains statements that are true but unprovable within the system.","summary":"Gödel's 1931 paper proving that any consistent formal system capable of expressing arithmetic is incomplete.","claim_ids":["c1","c2","c3","c4","c6"]},{"id":"src-2","type":"adjacent","url":"https://en.wikipedia.org/wiki/Principia_Mathematica","title":"Principia Mathematica","quote":"","summary":"The three-volume formal system by Russell and Whitehead that Gödel's theorem addressed.","claim_ids":["c1"]},{"id":"src-3","type":"rival","url":"","title":"The Logical Artifact objection to biological self-reference","quote":"DNA does not 'refer to itself.' It is copied by external machinery.","summary":"A rival argument that Gödel's theorem governs symbol systems, not cells, and the mapping from logic to biology is contested.","claim_ids":["c5","c7"]},{"id":"src-4","type":"adjacent","url":"https://en.wikipedia.org/wiki/G%C3%B6del,_Escher,_Bach","title":"Gödel, Escher, Bach: An Eternal Golden Braid","quote":"","summary":"Hofstadter's 1979 exploration of strange loops and self-reference across logic, art, and music.","claim_ids":["c4","c5"]}],"edges":[{"from":"c1","type":"supported_by","target":"src-1","source_type":"primary","hash":null},{"from":"c2","type":"supported_by","target":"src-1","source_type":"primary","hash":null},{"from":"c3","type":"supported_by","target":"src-1","source_type":"primary","hash":null},{"from":"c4","type":"supported_by","target":"src-1","source_type":"primary","hash":null},{"from":"c4","type":"supported_by","target":"src-4","source_type":"adjacent","hash":null},{"from":"c5","type":"supported_by","target":"src-1","source_type":"primary","hash":null},{"from":"c5","type":"supported_by","target":"src-4","source_type":"adjacent","hash":null},{"from":"c6","type":"supported_by","target":"src-1","source_type":"primary","hash":null},{"from":"c7","type":"supported_by","target":"src-3","source_type":"rival","hash":null}],"counts":{"voxels":7,"sources":4,"edges":9},"constitution_url":"/api/articles/constitution","ontology_url":"/api/articles/ontology","system_map_url":"/api/articles/system-map","claim_post":"POST /api/protocol/claim"}