发现与发明 › 20 世纪
Post correspondence problem
undecidable decision problem
波斯特对应问题 是美国数学家埃米尔·波斯特 于1946年提出的一个不可判定问题。
摘自维基百科「波斯特对应问题」，CC BY-SA 4.0
中文维基百科英文维基百科Wikidata
格物