可计算性

✍ dations ◷ 2025-07-20 22:44:20 #计算理论

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

相关

孢子孢子（英语：Spore，汉语拼音：bāo-zǐ，注音符号：ㄅㄠㄗˇ）是一种脱离亲本后能发育成新个体的单细胞或少数细胞的繁殖体。孢子一般有休眠作用，能在恶劣的环境下保持自有的传播能力，并再
荷兰黄金时代绘画荷兰黄金时代绘画指的是17世纪荷兰黄金时代时的绘画，当时八十年战争中成立的荷兰共和国成为了世界上最富庶的国家之一，尤其是在欧洲，它在商业、科学和艺术领域都居于领导地位
任伯年任颐（1840年－1895年），中国近代画家。原名小属，初名润，字小楼，一作晓楼。后号次远，字伯年，常被称作任伯年。山阴（浙江省绍兴）人，故画面署款多写“山阴任颐”。任伯年结合中国画传统画法，民
化学品列表因为化学物质的数量太多，所以此条目原本的列表内容已分割为以下几个条目。请参见：中文：英文：这些商业的连结，也可以提供有用的资料：
母国光母国光（1931年－2012年4月12日），辽宁锦西人，中国光学家。1952年毕业于南开大学物理系，留校任教至今。1956年8月至1957年6月在中国科学院长春光机所研修；1980年3月至1981年6月在美国
东方联盟东方联盟（英语：Eastern League）是美国北部的一个美国职棒小联盟附属联盟，纵使从1989年起，出现一支俄亥俄州的球队；本联盟自从1963年以来，就位于小联盟的2A等级。本联盟的前身，纽约－宾
浮罗交怡浮罗交怡（马来语：Pulau Langkawi，英语：Langkawi Island）别译兰卡威、浪交怡、朗卡维、凌加卫岛、呼罗交怡，古译龙牙菩提、龙牙交椅，位于马六甲海峡，是马来西亚吉打州海岸104个大小群
兴京新宾满族自治县，是辽宁省抚顺市下辖的一个自治县，总面积4432平方千米。地处长白山脉。年均降水量769.6毫米，年均温4.7℃。矿藏有煤炭、金、银、铜、铅等。下辖10个镇、10个乡：新
疥癣疥疮（Scabies），是由疥螨（英语：Sarcoptes scabiei）在人体皮肤表皮层内引起的接触性传染性皮肤病。最常见的症状为严重搔痒和泛红丘疹。偶见患者皮肤上会有疥螨移行的痕迹（英语：burrow
经济效率经济效率（帕洛托效率）通常来说，是指这样一种状况，即没有一种方法能在不使其他任何人的境况变坏的同时使任何人的境况变好。根据其内容，它通常伴随以下两个相关概念：这些定义并不