Post correspondence problem
Undecidable decision problem
The Post correspondence problem is an undecidable decision problem that was introduced by Emil Post in 1946. Because it is simpler than the halting problem and the Entscheidungsproblem it is often used in proofs of undecidability.
Nº Q798572 ★
Common · Knowledge
Post correspondence problem
Undecidable decision problem
The Post correspondence problem is an undecidable decision problem that was introduced by Emil Post in 1946. Because it is simpler than the halting problem and the Entscheidungsproblem it is often used in proofs of undecidability.
Last price
—
Floor price
—
7-day median
—
30-day sales
0
30-day range
—
In circulation
0
Price history
median
low – high
sales
No sales in this period
Show table
| Date | median | Low | High | sales |
|---|
Sales history
- Last sale
- —
- 30-day average
- —
- 30-day low
- —
- 30-day high
- —
- Sales 7d
- 0
- Sales 30d
- 0
No sales yet.
Anonymous sales: no buyer or seller shown. Figures count player-to-player sales only.
From Wikipedia
The Post correspondence problem is an undecidable decision problem that was introduced by Emil Post in 1946. Because it is simpler than the halting problem and the Entscheidungsproblem it is often used in proofs of undecidability.
Text: Wikipédia, CC BY-SA 4.0. ·
Related cards
-
Undecidable problem
Decision problem for which it is impossible to construct an algorithm that always leads to a correct yes-or-no answer
Nº Q3502995 ★
Not listed
-
E
Entscheidungsproblem
In computer science, the impossible task of algorithmically determining whether a given statement is provable from the axioms
Nº Q11030584 ★★
Not listed
-
H
Hilbert's sixteenth problem
On topology of algebraic curves and surfaces
Nº Q2509489 ★
Not listed
-
Optimization problem
Problems involving the selection of an optimal element from sets of available alternatives
Nº Q984063 ★★
Not listed
-
Pen pal
One of at least two people who regularly write to each other, particularly via postal mail
Nº Q914223 ★★
Not listed
-
X
XY problem
Problem of communication when asking for help
Nº Q48970622 ★★★
Not listed