concept
active
concept:rice-s-theorem

Rice's Theorem

No general algorithm decides non-trivial semantic properties of self-modifying trajectories.

Neighborhood — ranked by edge-count

Concepts (1)

concept
  • Kolmogorov Complexity
    associated_with
    Used to argue that self-modifying trajectories incorporating environmental information are incompressible.

Related by similarity (8)

cosine ≥ 0.65 · no typed edge

Entities in the same semantic neighborhood but without a typed relation to this one — candidates for new edges or unrecognized duplicates.

  • Bell's theoremconcept0.797
    A result in quantum mechanics asserting deep connectedness in the fabric of space, cited as a theory touching on not-separateness.
  • Statistical mechanics principle governing entropy increase in open systems; free energy minimization resists this dispersal.
  • Russell's Paradoxconcept0.708
    Set of all sets not containing themselves; central example motivating avoidance-based mathematical foundations.
  • Theorem stating every good regulator of a system must be a model of that system.
  • Shows formal systems with self-reference must be incomplete; analogized to Turing's halting problem.
  • Theorema Egregiumconcept0.688
    Gauss's theorem showing curvature is intrinsic, underlying the coordinate-independence elucidation of nirvāṇa.
  • Parallelismmethod0.688
    Attribute: an attempt at dualism and dialogue, running texts alongside each other, but inherently unstable.
  • Occam's Principleconcept0.687
    Principle that simpler models generalizing evidence are preferred; implemented via complexity minimization in free energy