网站首页 百科词库1 百科词库2
不可解问题的判定以特定的不可解性为其研究对象，是数理逻辑的重要研究领域之一。
百科全书收录4421916条中文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。