Post correspondence problem undecidability

Home > Philosophy > Deconstruction > Undecidability > Post correspondence problem undecidability

It is a type of undecidability related to the problem of determining whether a given set of dominoes can be arranged or not to match a specific pattern.