Making information explicit—extracting normal forms from computation.

Source paper

extracted_from

Information, Processes and Games

Abramsky, Samson

Neighborhood — ranked by edge-count

Communities (3)

community

Design principles for care-centered systems
members_of
Cross-scale frameworks linking spatial patterns, diagrams, and simplicity as expressions of care in design.
Information dynamics in computational systems
members_of
Studies how information flow, increase, and explicitness emerge from computation relative to observers and subsystems, grounded in domain theory and order-theoretic formalism.
Observer-relative computational information theory
members_of
Information increase and flow reframed as subsystem- and observer-dependent, not absolute thermodynamic quantities.

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.

Information increase in computation arises from data reduction and making implicit information explicit, not logical increase.claim0.796
Author's proposed resolution to the information increase paradox: computation gains utility through extraction and filtering, not creation of logically new content.
"Why do we compute? The natural answer is: to gain information (which we did not previously have)!"concept0.767
Bottom-up interpretability explains computation in the model's own terms rather than imposing top-down abstractionsclaim0.763
VPD is positioned as advancing a paradigm shift from top-down mechanistic interpretability (activation-based) to parameter-centric, data-driven discovery.
Developing a simple, precise denotational model of graphical user interfaces enables proving properties of programs and establishing objective comparisons of library abstraction levels.claim0.763
Authors' core assertion that formal modeling of GUIs provides foundational benefits for language design and program verification.
Does information increase in computation?question0.756
Fundamental puzzle motivating the paper: how can computation produce new information when output is logically implied by input and thermodynamics suggests information cannot increase?
what is the precise characterization of the perceptual representational format in which information exists as a specific, sustained, globally constitutive structure?question0.754
Open theoretical problem CIMC acknowledges: precisely characterizing the representational format of perception
How can information increase in computation if output is logically implied by input?question0.753
Each expression denotes something, depending only on denotations of subexpressions.claim0.752
Property of denotative programming from Landin.