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-operations

Languages 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_from
The Machine Consciousness Hypothesis

Neighborhood — ranked by edge-count

Frameworks (1)

framework
  • Position 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 edge

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