可计算性

✍ dations ◷ 2025-12-04 08:00:31 #计算理论

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

相关

联合国人口基金联合国人口基金（英语：United Nations Population Fund，简称UNFPA）是联合国一个专门机构，其使命是促进所有人健康生活和平等机会的权利。作为一个志愿性的基金机构，联合国人口基金
Oath威讯媒体公司（英语：Verizon Media），旧名Oath，是一家美国的网络媒体公司，为威讯通信（Verizon Communications）旗下子公司，也是AOL和Yahoo网络事业部门所属的母公司。威讯通信于2015年5
刚体在物理学里，理想刚体（rigid body）是一种有限尺寸，可以忽略形变的固体。不论是否感受到外力，在刚体内部，质点与质点之间的距离都不会改变。这种理想模型适用条件是，运动过程比固体中
ɐ次开央元音是元音的一种，用于一些口说语言当中，国际音标以⟨ɐ⟩代表此音，而X-SAMPA音标则以⟨6⟩代表此音。国际音标中的此符号为一个倒转的印刷体a。事实上，国际音标中并没有
纽伦堡审判欧洲国际军事法庭，又称纽伦堡国际军事法庭，俗称纽伦堡大审或纽伦堡审判（英语：Nuremberg Trials，德语：Nürnberger Prozesse），是盟军根据国际法和二战后的战争法举行的一系列军事法
龙马来了《龙马来了》（日文：竜馬がゆく，りょうまがゆく）是以司马辽太郎所著的日本历史小说改编的NHK大河剧第六部作品，于1968年播出，全52集。本剧于1968年1月7日～12月29日播出，平均收视率14.
墨西哥帝国墨西哥第一帝国（西班牙语：Imperio Mexicano, 发音：.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Cod
巡洋舰巡洋舰（英语：Cruiser）指在排水量、火力、装甲防护等方面仅次于战列舰的大型水面舰艇，拥有同时对付多个作战目标的能力，以及能胜任多种任务的多样性。历史上，巡洋舰由于吨位大、火
哈德逊-卑尔根轻轨哈德逊-卑尔根轻轨（英语：Hudson–Bergen Light Rail，简称HBLR）是一个位于美国新泽西州哈德逊郡的轻轨铁路系统；为新泽西运输公司所拥有，由二十一世纪铁路公司运营；自2000年4月通车
高跟鞋高跟鞋是指鞋跟特别高的鞋，会使穿此鞋的人的脚跟明显高于脚趾以及身高上的错觉。高跟鞋有许多种不同的款式，尤其是在鞋跟的变化上更是非常多，如细跟、粗跟、楔型跟、钉型跟、槌