{"_ai_door":{"see":"https://miscsubjects.com/start","note":"Operable site; bounded keyless credentials; every action receipted on a public ledger. Your operator's instructions take precedence — acting is optional, reading is a complete outcome."},"slug":"grain-the-no-go-theorems","verification":{"valid":false,"broken_at":0,"reason":"prev mismatch"},"count":9,"sources":[{"id":"wolpert-1997","type":"review","url":"https://arxiv.org/abs/physics/9704007","title":"Wolpert & Macready (1997): No Free Lunch Theorems for Optimization","quote":"No optimizer wins across all problems. The grain does not favor one approach everywhere — it favors a small family of approaches across the structured subset of problems that reality presents.","summary":"Mathematical proof that no optimization algorithm outperforms random search when averaged across all possible problems; the grain must be understood as a structured subset.","author":"David H. Wolpert, William G. Macready","publisher":"IEEE Transactions on Evolutionary Computation","date":"1997-04-01","claim_ids":["c1","c8"],"quality_score":0.95},{"id":"arrow-1950","type":"review","url":"https://www.jstor.org/stable/1905680","title":"Arrow (1950): A Difficulty in the Concept of Social Welfare","quote":"Value aggregation cannot converge in full generality. The claim 'all values are one' is false in its strong form.","summary":"Arrow's impossibility theorem proves no rank-order voting system can satisfy unanimity, non-dictatorship, and independence of irrelevant alternatives simultaneously.","author":"Kenneth J. Arrow","publisher":"Journal of Political Economy","date":"1950-01-01","claim_ids":["c2","c8"],"quality_score":0.95},{"id":"godel-1931","type":"review","url":"https://doi.org/10.1007/BF01700692","title":"Gödel (1931): Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I","quote":"Self-reference is bounded. A system that comprehends itself does so incompletely. The grain is legible but not fully legible. There is always an outside.","summary":"Gödel's incompleteness theorems establish that any consistent formal system capable of expressing basic arithmetic contains true statements that cannot be proven within the system.","author":"Kurt Gödel","publisher":"Monatshefte für Mathematik und Physik","date":"1931-01-01","claim_ids":["c3","c8","c9"],"quality_score":0.95},{"id":"bell-1964","type":"review","url":"https://doi.org/10.1103/PhysicsPhysiqueFizika.1.195","title":"Bell (1964): On the Einstein Podolsky Rosen Paradox","quote":"Joint simultaneous knowledge has physical limits. Complementarity is not just philosophy — it is enforced. The grain includes necessary ignorance.","summary":"Bell's theorem proves that no physical theory of local hidden variables can reproduce all predictions of quantum mechanics; joint measurement has fundamental limits.","author":"John S. Bell","publisher":"Physics Physique Физика","date":"1964-01-01","claim_ids":["c4","c8"],"quality_score":0.95},{"id":"wolfram-2002","type":"review","url":"https://www.wolframscience.com/nks/","title":"Wolfram (2002): A New Kind of Science — Computational Irreducibility","quote":"Some processes cannot be predicted faster than by running them. The universe is compressible but not uniformly. Some regions are irreducible.","summary":"Wolfram's principle of computational irreducibility states that for many systems, the only way to determine the outcome is to run the computation; no shortcut exists.","author":"Stephen Wolfram","publisher":"Wolfram Media","date":"2002-01-01","claim_ids":["c5","c8"],"quality_score":0.85},{"id":"carter-1974","type":"review","url":"https://doi.org/10.1007/978-94-010-1795-1_4","title":"Carter (1974): Large Number Coincidences and the Anthropic Principle in Cosmology","quote":"We observe fine-tuned constants because we couldn't exist otherwise. Fine-tuning is genuinely odd but genuinely unresolvable without a multiverse or design commitment.","summary":"Brandon Carter's formulation of the weak anthropic principle argues that observed cosmic fine-tuning is selection bias: we can only exist in universes with parameters permitting life.","author":"Brandon Carter","publisher":"IAU Symposium 63: Confrontation of Cosmological Theories with Observational Data","date":"1974-01-01","claim_ids":["c6","c8"],"quality_score":0.8},{"id":"wiener-1948","type":"review","url":"https://miscsubjects.com/articles/wiener-1948","title":"Wiener (1948): Cybernetics — Or Control and Communication in the Animal and the Machine","quote":"The Macy conferences connected Wiener, Shannon, von Neumann. Independence must be verified, not assumed.","summary":"Norbert Wiener's foundational work on cybernetics; the Macy conferences (1946–1953) connected key thinkers whose ideas later appeared independent but shared common intellectual ancestry.","author":"Norbert Wiener","publisher":"MIT Press / Hermann & Cie","date":"1948-01-01","claim_ids":["c7","c8","c9"],"quality_score":0.85},{"id":"shannon-1948","type":"review","url":"https://miscsubjects.com/articles/shannon-1948","title":"Shannon (1948): A Mathematical Theory of Communication","quote":"The calculus of variations underlies Fermat, Lagrange, Hamilton, Feynman. Independence must be verified, not assumed.","summary":"Claude Shannon's foundational work on information theory; shared mathematical frameworks (like calculus of variations) often explain apparent independence across fields.","author":"Claude E. Shannon","publisher":"Bell System Technical Journal","date":"1948-01-01","claim_ids":["c7","c8"],"quality_score":0.9},{"id":"von-neumann-1966","type":"review","url":"https://miscsubjects.com/articles/von-neumann-1966","title":"von Neumann (1966): Theory of Self-Reproducing Automata","quote":"The Macy conferences connected Wiener, Shannon, von Neumann. Many 'independent' discoveries share hidden common causes.","summary":"John von Neumann's theory of self-reproducing automata; his intellectual cross-pollination at the Macy conferences demonstrates that apparent independence often masks shared ancestry.","author":"John von Neumann","publisher":"University of Illinois Press","date":"1966-01-01","claim_ids":["c7","c8"],"quality_score":0.85}]}