网站首页 百科知识
数理逻辑的重要问题之一。寻求一个一般性的方法，判定某类命题中任一个的真假。这样的方法要求每一步都事先给定明确的规则且有穷步内可以结束，称为算法或能行方法。如果存在算法，就说这类命题是可判定的，否则不可判定。例如：一自然数是否为素数，一组线性方程是否可解，是可判定的。
开放百科全书收录579518条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。