claim

active

claim:logical-principles-express-conservation-laws-of-information-flow-dynamics

Logical principles express conservation laws of information flow dynamics

In game semantics, proofs are generalized copy-cats that conserve information flow; this suggests a deep connection between logic and conservation.

Source paper

extracted_from

Information, Processes and Games

Abramsky, Samson

Neighborhood — ranked by edge-count

Findings (1)

finding

Copy-cat processes (partial involutions) are computationally universal
supports
Mere copying of tokens between paired positions suffices to simulate all partial recursive functions and model higher-order logics.

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.

conservation of information flowconcept0.808
Logic seen as conservation laws for information flow; proofs correspond to generalized copy-cat strategies.
Agents and their interactions are intrinsic to studying information flow in computation, not peripheral to classical information theory.claim0.749
Central thesis: traditional static information theories fail to capture dynamic interaction necessary for understanding modern computing.
What Principles Determine Which Scale And Mechanism Isquestion0.748
Process theories can be derived from variational principles in a straightforward manner with biological plausibility.hypothesis0.743
Paper's core methodological hypothesis: gap between normative and process-level theories can be bridged.
Design and engineering knowledge are not reducible to scientific principles; operational principles are needed.claim0.739
Polanyi's argument applied to software.
Information Dynamicsframework0.728
Proposed theoretical framework combining qualitative and quantitative aspects of information, with explicit treatment of processes and information flow; central organizing concept for the paper.
What Algorithmic Principles Underlie The Evolution Of Biologicalquestion0.728
Present-day physics is completely governed by a system of differential equations... this entire rich system is now completely contained in a single theorem, the principle of least action.quote0.727
Planck's statement cited to establish the generality and indispensability of least action before Alexander argues it is still insufficient