undecidable¶
Turing, A. M. (1936). undecidable.
Retired. This entry was not a citation. Our extractor stored an inline prose definition from the article as though it were a bibliographic record: the title names a concept rather than a published work, and the citation text names no work at all. The page is kept because links to it still resolve, but it is withdrawn from the reference list. This entry is kept so the citations that pointed at it still resolve, and so the correction is visible rather than silent.
Cited by¶
1 citation across 1 artifact.
Each citation links to the sentence it supports in the citing article.
Mechanisms¶
- Decidability Triage Worksheet
- The touchstone the worksheet exists to catch is the halting problem
This sourceThe worksheet's job is to notice when a branch is really of this kind before anyone promises to automate it.
- The touchstone the worksheet exists to catch is the halting problem
Verification¶
This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.
Registry ID ref:565ed66a1dea · see in the full table