可计算性

✍ dations ◷ 2025-10-02 17:35:32 #计算理论

可计算性（calculability）是指一个实际问题是否可以使用计算机来解决．从广义上讲如“为我烹制一个汉堡”这样的问题是无法用计算机来解决的（至少在目前）．而计算机本身的优势在于数值计算，因此可计算性通常指这一类问题是否可以用计算机解决．事实上，很多非数值问题（比如文字识别，图象处理等）都可以通过转化成为数值问题来交给计算机处理，但是一个可以使用计算机解决的问题应该被定义为“可以在有限步骤内被解决的问题”，故哥德巴赫猜想这样的问题是不属于“可计算问题”之列的，因为计算机没有办法给出数学意义上的证明，因此也没有任何理由期待计算机能解决世界上所有的问题．分析某个问题的可计算性意义重大，它使得人们不必浪费时间在不可能解决的问题上（因而可以尽早转而使用除计算机以外更加有效的手段），集中资源在可以解决的问题上．

相关

志愿役志愿兵役制或称志愿役（又称为募兵制）是指符合条件之人民志愿投入军队，以军人作为职业。人民自愿加入军队的原因众多，可以是基于爱国、宗教意识或兴趣，如义勇兵；或是纯粹为报酬而参
废气加热器废气加热器，是一种减少能量消耗、或者提供液体预热功能的机械装置，属于换热器的一种。通常与锅炉、发电设备、暖通空调设备连结，用液体吸收废气中的热能以供重新利用。
相公相公可以指：
新选组始末记《新选组始末记》（日语：新撰组始末记；英语：Shinsengumi Chronicles）是1963年1月3日日本上映的时代剧电影，原作为子母泽宽1928年同名著作，叙述幕末的武士组织“新选组”与讨幕人士的
曲阜市坐标：35°35′30.07″N 116°59′03.42″E / 35.5916861°N 116.9842833°E / 35.5916861; 116.9842833曲阜市位于中国山东省南部，是济宁市代管的一个县级市。曲阜是一个古老
VanillawareVanillaware有限公司（日语：ヴァニラウェア有限会社）是日本的电脑游戏开发公司。公司地址在大阪市中央区。2002年2月8日设立。Vanillaware主要制作原创的中世纪西欧风幻想世界为
上诉上诉（appeal）指的是不服法院判决而要求重新审理案件并撤销、变更判决。
1994年年北岭地震1994年北岭地震（英语：1994 Northridge earthquake）是发生在美国加州洛杉矶北岭区的地震，发生于1994年1月17日（UTC-8）。
宁波之乱宁波之乱（也称争贡之役、明州之乱、宗设之乱）发生于公元1523年（明朝嘉靖二年、日本室町时代的大永三年）。事件是起源于日本大名细川氏和大内氏势力争相派遣对明朝贸易使团来华贸
厄立特利亚海航行记厄立特利亚海航行记（希腊语：Περίπλους τῆς Ἐρυθράς Θαλάσσης，拉丁语：Periplus Maris Erythraei）是一部在罗马希腊时代由希腊文所写的航行记。描述