O000436　不可解问题

---

林毓材著。

云南教育出版社1992年12月版。18万字。

以特定问题的不可解性为研究对象，属于数理逻辑的范畴。

作者试图概述这一领域中的一些最基本、最主要和最重大的成果。

具体内容包括停机问题与Rice定理、组合的判定问题、关系的字问题与变换群性质的判定问题、群的字问题、Higman定理、群的性质的判定问题、Hilbert第十问题、形式语言中的判定问题、多米诺问题等。其中包含了作者的一些研究成果。

对所讨论的判定问题大都给出详细的证明。