Lambda Calculus

Church's formalization of computation via replacement operations on strings; one of multiple equivalent formalizations

Neighborhood — ranked by edge-count

concept

Church-Turing Thesis
supports
Establishes that all constructive formalizations of computation are equivalent; grounds the claim that consciousness can be realized on any universal computing substrate

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.

ZX-Calculusconcept0.753
Quantum diagrammatic formalism (2007); mentioned as non-example of complete compositionality due to lack of clear ontological counterparts.
Aristotleconcept0.712
Referenced for Aristotelian science, practical wisdom, and formal/final causation; contrast to modern Newtonian paradigm.
Geometryconcept0.700
The actual shapes and spatial relationships of buildings, essential to living structure.
Diagnosismethod0.700
The method of examining a neighborhood meter by meter to identify healthy and damaged places as the basis for ongoing repair.
Chromosomeconcept0.699
Cellular structure containing the hereditary substance; Schrödinger suggests it might be an aperiodic solid.
λ[{}] (Castagna)framework0.697
Most closely related work seeking to unify method overloading for generic functions dynamically using minimal operators; treats type as derived runtime property rather than formal compile-time abstraction.
CAGradmethod0.693
Conflict-averse gradient descent, constraining aggregated gradient around average.
X Developmentinstitute0.688