{
  "handle": "ComputationalIrreducibility",
  "ref": "ComputationalIrreducibility#77ea",
  "stub": "77ea",
  "semaId": "sema:ComputationalIrreducibility#mh:SHA-256:77eaaa0cb7d5fdf22915b2147d1a9b4061acdd4f45c5297dd8c60ac5bf2fa7f7",
  "layer": "Physics",
  "category": "Primitives",
  "gloss": "Some processes have no shortcut: the only way to know step n is to run n steps",
  "mechanism": "For a computationally irreducible process, no procedure predicts its state at step n in fewer steps than the process itself takes. Simple rules can generate such behaviour, as the cellular automaton Rule 110 shows. Reducible processes are the exception: their low-level mechanics produce higher-level regularities, like billiard balls, that a shorter description can capture.",
  "invariants": [
    "Irreducibility holds even when the rules are fully known and deterministic",
    "Any exact predictor of an irreducible process takes at least as many steps as the process"
  ],
  "failureModes": [
    "Treating a process as irreducible because no shortcut has been found yet",
    "Assuming a reducible higher level exists because one exists for similar-looking systems",
    "Knowing the structure mistaken for knowing the dynamics, as with a connectome that maps wiring but not firing"
  ],
  "ring": 0,
  "tier": 1,
  "aliases": {},
  "buildsOn": [],
  "usedBy": [
    {
      "handle": "EpistemicComplexity",
      "type": "references",
      "alias": "computational_irreducibility",
      "url": "/knowledge-graph/EpistemicComplexity/",
      "json": "/knowledge-graph/EpistemicComplexity.json"
    },
    {
      "handle": "BoundedModelOpenWorld",
      "type": "references",
      "alias": "computational_irreducibility",
      "url": "/knowledge-graph/BoundedModelOpenWorld/",
      "json": "/knowledge-graph/BoundedModelOpenWorld.json"
    },
    {
      "handle": "ModelAsCompression",
      "type": "references",
      "alias": "computational_irreducibility",
      "url": "/knowledge-graph/ModelAsCompression/",
      "json": "/knowledge-graph/ModelAsCompression.json"
    }
  ],
  "sources": {
    "research": [
      {
        "slug": "complexity_epistemology",
        "title": "Can AI predict your next move?",
        "url": "/research/complexity_epistemology/",
        "meetups": [],
        "people": [
          {
            "name": "Arne Steemers",
            "url": "/community#arne-steemers"
          }
        ]
      },
      {
        "slug": "what_is_complexity",
        "title": "What is complexity?",
        "url": "/research/what_is_complexity/",
        "meetups": [
          {
            "title": "What is complexity? - BraInference meetup",
            "dateISO": "2026-08-25T19:00+02:00",
            "url": "https://luma.com/event/evt-3i9DK4gq70ETHBy"
          }
        ],
        "people": [
          {
            "name": "Utku Arslan",
            "url": "/community#utku-arslan"
          },
          {
            "name": "Adam Timlett",
            "url": "/community#adam-timlett"
          },
          {
            "name": "Henrik Westerberg",
            "url": "/community#henrik-westerberg"
          },
          {
            "name": "Arne Steemers",
            "url": "/community#arne-steemers"
          }
        ]
      },
      {
        "slug": "harness_bodies_death",
        "title": "Harnesses, Bodies and Deaths: Notes from an Evening",
        "url": "/research/harness_bodies_death/",
        "meetups": [],
        "people": [
          {
            "name": "Arne Steemers",
            "url": "/community#arne-steemers"
          },
          {
            "name": "Guillem Monso",
            "url": "/community#guillem-monso"
          },
          {
            "name": "Andrei Lixandru",
            "url": "/community#andrei-lixandru"
          },
          {
            "name": "Nitesh Jaswal",
            "url": "/community#nitesh-jaswal"
          }
        ]
      }
    ],
    "works": [],
    "homePage": false
  },
  "url": "/knowledge-graph/ComputationalIrreducibility/",
  "graphUrl": "/knowledge-graph#ComputationalIrreducibility",
  "directory": "/knowledge-graph/patterns.json"
}