波斯特对应问题 波斯特对应问题英語Post correspondence problem是美国数学家埃米尔波斯特Emil Post于年提出的一个不可判定问题