Undecidable Theories¶
Tarski, A., Mostowski, A., & Robinson, R. M. (1953). Undecidable Theories.
Cited by¶
1 citation across 1 artifact.
Each citation links to the sentence it supports in the citing article.
Primes¶
- Embeddability
- Scheduling embeds events into time slots without resource conflict, so that interval scheduling and bin-packing existence are embeddability questions; cartography and political districting embed a partition of a territory into regions satisfying contiguity and population constraints; mathematical logic embeds one theory into another preserving inference structure (interpretability of theories); and linguistic phonotactics embeds a borrowed word into a language's permissible phoneme sequences, sometimes finding no embedding and forcing epenthesis or substitution.
This sourceDevelops interpretability — the embedding of one logical theory into another preserving inference structure — as a general method in proofs of undecidability.
- Scheduling embeds events into time slots without resource conflict, so that interval scheduling and bin-packing existence are embeddability questions; cartography and political districting embed a partition of a territory into regions satisfying contiguity and population constraints; mathematical logic embeds one theory into another preserving inference structure (interpretability of theories); and linguistic phonotactics embeds a borrowed word into a language's permissible phoneme sequences, sometimes finding no embedding and forcing epenthesis or substitution.
Verification¶
Does it exist? Not checked yet. This entry carries no identifier to resolve. It was extracted from the citation as written in the article, normalized, and deduplicated against the rest of the registry.
Does it back the claim? Not recorded. The single citation of this work carries no recorded support check.
Support is checked per citation rather than per work — the same source can be cited soundly in one article and wrongly in another. Per-citation recording began recently, so a citation with no recorded check is a gap in the record rather than evidence it went unchecked.
See how references were verified.
Registry ID ref:a0ecc499730c · see in the full table