claim
active
claim:continuous-dynamics-inhabit-real-closed-fields-complete-decidable-discrete-arithmetic-is-incomplete-and-uncomputableContinuous dynamics inhabit real closed fields (complete, decidable); discrete arithmetic is incomplete and uncomputable.
Mathematical argument that continuous biological computation operates in a richer formal domain; suggests computational advantages for consciousness-relevant processing.
Neighborhood — ranked by edge-count
Communities (3)
community
- Cross-scale frameworks linking spatial patterns, diagrams, and simplicity as expressions of care in design.
- Studies how information flow, increase, and explicitness emerge from computation relative to observers and subsystems, grounded in domain theory and order-theoretic formalism.
- Continuous vs discrete computabilitymembers_ofContrasts decidability of real closed fields with Gödelian incompleteness of discrete arithmetic via domain theory.
Concepts (1)
concept
- Brains perform simultaneous discrete operations (spikes) and continuous operations (graded potentials, fields) that co-determine each other; distinguishes biological from digital substrates.
Related by similarity (8)
cosine ≥ 0.65 · no typed edgeEntities in the same semantic neighborhood but without a typed relation to this one — candidates for new edges or unrecognized duplicates.
- Mathematical principle grounding the formal definition of continuity in domain theory to physical and epistemic constraints on computation.
- Alexander's critical assessment of the limits of current complexity science relative to his explanatory target
- Strengthens the claim that centers are not just psychological but physically real.
- Proposed to explain how life can emerge from space itself.
- Essential feature of living process, making phenomenological experience the central criterion for evaluation.
- Paper's interpretation of Gödel's incompleteness result as motivating computationalism
- Self-description of the paper in the abstract.
- Affirmation that life is not merely subjective but an objective, calculable feature of space.