Post correspondence problem

Summary

Post correspondence problem is a decision problem^[1]. It draws 79 Wikipedia views per month (decision_problem category, ranking #2 of 4).^[2]

Key Facts

• Post correspondence problem is credited with the discovery of Emil Leon Post^[3].
• Post correspondence problem's instance of is recorded as decision problem^[4].
• Emil Leon Post is named after Post correspondence problem^[5].
• Post correspondence problem's time of discovery or invention is recorded as +1946-00-00T00:00:00Z^[6].
• Post correspondence problem's Freebase ID is recorded as /m/0h7t4^[7].
• Post correspondence problem's different from is recorded as phencyclidine^[8].
• Post correspondence problem's defining formula is recorded as \alpha {i_1}\dotsm \alpha {i_K}=\beta {i_1}\dotsm \beta {i_K}\qquad(\alpha_1,\dotsc,\alpha_N,\beta_1,\dotsc,\beta_N\in\Sigma^*)^[9].
• Post correspondence problem's Dictionary of Algorithms and Data Structures ID is recorded as pcp^[10].
• Post correspondence problem's maintained by WikiProject is recorded as WikiProject Mathematics^[11].
• Post correspondence problem's Microsoft Academic ID is recorded as 123609886^[12].
• Post correspondence problem's PlanetMath ID is recorded as PostCorrespondenceProblem^[13].
• Post correspondence problem's computational complexity is recorded as RE^[14].

Body

Works and Contributions

Post correspondence problem is credited with the discovery of Emil Leon Post^[3].

Why It Matters

Post correspondence problem draws 79 Wikipedia views per month (decision_problem category, ranking #2 of 4).^[2] It has Wikipedia articles in 14 language editions, a strong signal of global cultural recognition.^[15] It is known by 6 alternative names across languages and contexts.^[16]