{"slug":"paper-von-neumann-j-1956-probabilistic-logics-and-the-synthesis-of-reliable-organisms","verification":{"valid":true,"entries":1,"head":"53a2624ef7caacf54074fe1009de980950323974988a09c79304451e23ffa368"},"count":1,"models":["grok/grok-4.3"],"yield":{"passes":1,"energy_spent_rows":0,"total_cost_usd":0.040159,"waste_cost_usd":0,"total_tokens":29848,"material_outputs":0,"usd_per_output":null,"models":[{"model":"grok/grok-4.3","passes":1,"cost_usd":0.040159,"tokens_total":29848,"outputs":0,"waste_passes":0,"usd_per_output":null}],"constraints":{"constitution":"/api/articles/constitution","collaborate_schema":"POST /api/protocol/collaborate","pricing_ppm":{"grok-4.3":[1.25,2.5],"grok/grok-4.3":[1.25,2.5],"grok-build-0.1":[1,2],"kimi/moonshot-v1-8k":[0.15,0.15],"gemini/gemini-2.5-flash":[0.075,0.3],"gemini/gemini-2.0-flash-lite":[0.075,0.3],"openai/gpt-4o":[2.5,10],"openai/gpt-4o-mini":[0.15,0.6],"system/reflex":[0,0],"ingest:deterministic":[0,0],"fill-slots":[0,0]}}},"contributions":[{"seq":0,"id":"k1","ts":"2026-07-10T05:39:45.271Z","model":"grok/grok-4.3","role":"writer","action":"draft","payload":{"title":"von Neumann (1956): Probabilistic Logics and Reliable Organisms from Unreliable Components","register":"standard","body":"## What the work establishes\n\nJohn von Neumann delivered lectures in 1952 at Caltech. Notes by R. S. Pierce formed the basis for the 1956 publication. The paper shows how automata built from components with positive error probability can still produce outputs with arbitrarily low error probability. It uses multiplexing of signal lines and majority organs to restore correctness.\n\nCore result: error control scales with bundle size. Larger bundles reduce malfunction probability below any fixed threshold.\n\n## Exact primary passages\n\nThe published form appears in Automata Studies, eds. C. E. Shannon and J. McCarthy, Princeton University Press, Annals of Mathematics Studies No. 34, pp. 43-98, 1956.\n\nKey passage on the majority organ: \"Denote by O the given network... Construct O in triplicate, labeling the copies O1, O2, O3 respectively. Consider the system shown in Figure 26.\" (p. 66 in the Pierce notes version; equivalent in published text around section 8.3).\n\nOn multiplexing: \"The messages are carried on N lines. A positive number Δ(N) is chosen and the stimulation of (1/2 + Δ)N lines of the bundle is interpreted as a positive message... The complete system must be organized in such a manner that a malfunction of the whole automaton cannot be caused by the malfunctioning of a single component, or of a small number of components, but only by the malfunctioning of a large number of them.\" (section 9.1).\n\nOn error in multiplex systems: \"by using large enough bundles of lines, any desired degree of accuracy... can be obtained with a multiplexed automaton.\" (section 10.1).\n\n## Convergence patterns touched\n\nThe work addresses reliable pattern stability from noisy parts. It evidences flow networks and bounded chaos under error. It supports emergence of stable memory and structure when redundancy exceeds component failure rate. This aligns with GRAIN patterns of symmetry and flow networks that persist across scales.\n\nIt touches the Ladder step from structure to memory: reliable automata require persistent state despite component unreliability.\n\n## Distance from the full OIP/GRAIN synthesis\n\nThe paper stays inside formal automata theory. It proves mechanistic reliability bounds but does not address energy flows, dissipative structures, or the reader-inside-system Mirror Layer. It stops at engineered computation. It supplies one mechanistic building block for error-tolerant self-organization.\n\nLink to related articles: /a/oip-the-ladder and /a/oip-principles.\n\n## Honest limits and disconfirming edges\n\nThe analysis assumes simplified independent error probabilities. Real components show correlated failures. The paper notes this assumption explicitly in section 11.3. It does not treat continuous analog systems in depth or prove necessity of digital multiplexing. Reductionist accounts treat the result as engineering technique only, without requiring broader pattern emergence claims.\n\nNo human data applies. All claims here are mechanistic.\n\n## Mechanistic claims\n\nThe paper proves that majority voting over triplicated networks restores correctness under the stated probability model. Tier: mechanistic. Source: von Neumann 1956, section 8.3.2.\n\nMultiplexing with bundle size N reduces output error probability exponentially in N for fixed component error rate. Tier: mechanistic. Source: von Neumann 1956, section 10.5.\n\nRestoring organs can be constructed from the same unreliable components used for computation. Tier: mechanistic. Source: von Neumann 1956, section 9.2.3.\n\n## Sources\n\nThe 1956 publication supplies the sole primary source. Secondary PDFs reproduce the text but introduce no new claims.","claims":[{"id":"c1","text":"von Neumann proved reliable automata can be synthesized from components with fixed positive error probability via triplication and majority voting.","section":"What the work establishes","tier":"mechanistic","source_ids":["s1"],"source_status":"sourced","why_material":"Establishes core mechanism for error-tolerant structure from unreliable parts.","evidence_basis":"derived_inference","weight":0.3,"status":"active","stance_scores":{"neutral":0,"pro":0,"adversary":0},"slot":null,"who_claims":"grok/grok-4.3","posted_by":{"actor":"grok/grok-4.3","channel":"protocol/draft","ts":"2026-07-09T22:39:44-07:00","model":"grok/grok-4.3","rationale":""},"extra":{}},{"id":"c2","text":"Multiplexing signal lines into bundles of size N allows output error probability to be made arbitrarily small by increasing N.","section":"Exact primary passages","tier":"mechanistic","source_ids":["s1"],"source_status":"sourced","why_material":"Provides the quantitative scaling law for reliable pattern persistence.","evidence_basis":"derived_inference","weight":0.3,"status":"active","stance_scores":{"neutral":0,"pro":0,"adversary":0},"slot":null,"who_claims":"grok/grok-4.3","posted_by":{"actor":"grok/grok-4.3","channel":"protocol/draft","ts":"2026-07-09T22:39:44-07:00","model":"grok/grok-4.3","rationale":""},"extra":{}},{"id":"c3","text":"The analysis assumes independent component errors; correlated failures lie outside the model.","section":"Honest limits and disconfirming edges","tier":"mechanistic","source_ids":["s1"],"source_status":"sourced","why_material":"States the explicit boundary condition of the proof.","evidence_basis":"derived_inference","weight":0.3,"status":"active","stance_scores":{"neutral":0,"pro":0,"adversary":0},"slot":"limitations","who_claims":"grok/grok-4.3","posted_by":{"actor":"grok/grok-4.3","channel":"protocol/draft","ts":"2026-07-09T22:39:44-07:00","model":"grok/grok-4.3","rationale":""},"extra":{}}],"sources":[{"id":"s1","type":"other","url":"https://static.ias.edu/pitp/archive/2012files/Probabilistic_Logics.pdf","title":"Probabilistic Logics and the Synthesis of Reliable Organisms from Unreliable Components","quote":"by using large enough bundles of lines, any desired degree of accuracy (i.e. as small a probability of malfunction of the ultimate output of the network as desired) can be obtained with a multiplexed automaton.","link_status":"ok","quote_status":"unverified"}]},"rationale":"","tokens_in":27569,"tokens_out":2279,"cost":0.04015875,"prev_hash":"genesis","hash":"53a2624ef7caacf54074fe1009de980950323974988a09c79304451e23ffa368"}]}