claim
active
claim:languages-that-cannot-be-automatically-evaluated-inevitably-contain-unresolvable-paradoxes-constructive-computation-avoids-this-by-building-representations-over-simple-step-by-step-operationsLanguages that cannot be automatically evaluated inevitably contain unresolvable paradoxes; constructive computation avoids this by building representations over simple step-by-step operations.
Paper's interpretation of Gödel's incompleteness result as motivating computationalism
Source paper
extracted_fromNeighborhood — ranked by edge-count
Frameworks (1)
framework
- ComputationalismsupportsPosition that all phenomena can be fully captured as discrete and finite state transitions; grounded in mathematical constructivism
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.
- Argument that resistance to reductionism no longer distinguishes life from machines
- Paper's assessment of current LLM capabilities relative to Turing Test
- From Turner (1982), cited to represent the functional programming community's view and then refuted.
- Claim about current practical feasibility and efficiency of 2-way associative implementations.
- The interactive processes described are reversible in a very strong sense, linking logic and physicsclaim0.765Partial involutions are invertible; the same structures can axiomatize quantum mechanics and analyse entanglement.
- Argument that predictability is no longer an essential property distinguishing machines from life
- Key open problem: foundational definitions for process models that match the role of Turing completeness for functional computation.