可计算性

✍ dations ◷ 2025-04-26 01:36:52 #计算理论

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

相关

花粉症过敏性鼻炎，又称为鼻敏感、干草热、花粉热、花粉症或季节性过敏性鼻炎，是因为免疫系统受到空气中的过敏原影响而导致的鼻炎症状。征兆和病症包括流鼻涕或鼻塞、打喷嚏、眼睛的
职业危害职业灾害是指在工作场所发生的危害造成工作者疾病、伤害、失能或死亡，依其灾害性可以分为许多不同的种类，包括化学危害（英语：chemical hazard）、生物性危害、社会心理危害（英语：psy
开元音表内成对的元音分别为不圆唇／圆唇。开元音是一类将舌头尽可能放低、远离上颚的元音，故亦称低元音。世界上98%的语言都有开元音，除了少数语言如Hinónoʼeitíít（英语：Arapaho la
性派对性派对又叫性爱趴，多指交换伴侣或群交等有关性行为的联欢会。不论何种形式的性派对往往都会在民众中造成道德恐慌，因为有媒体不断宣传性派对正在青少年间流行。一个交换伴侣派
晋升体系晋升体系（拉丁文：Cursus honorum；意为“荣耀之路”）是在罗马共和国和罗马帝国初期时，有抱负的政治家们就任政府职位的次序。这个制度是为有元老身份的人而设。晋升体系包含军队及
演化的证据此条目为生物演化的证据。查尔斯·达尔文在生物学家中第一个科学地论证了生物的演化，并汇集了系统分类学、生物地理学、比较解剖学、比较胚胎学、古生物学等领域的证据，说明如
先锋霉素头孢菌素（法语：Cephalosporine、英语：Cephalosporin），又名先锋霉素，是一系列属于β内酰胺类的抗生素。与头霉素一并细分为头孢烯。头孢菌素化合物最初是于1948年，由意大利科学家Giu
油电混合公车混合动力车辆是使用两种或以上能量来源驱动的车辆，而驱动系统可以有一套或多套。常用的能量来源有燃油、电池、燃料电池、太阳能电池、压缩气体等，而常用的驱动系统包含内燃机
拉美文学拉丁美洲文学爆炸（西班牙语：Boom Latinoamericano）是一场发生在1960年代至1970年代之间的文学运动，在那期间一大批相关拉丁美洲作家的作品流行于欧洲并最终流行于全世界。说起这
柯洛让-巴蒂斯·卡米耶·柯洛（Jean-Baptiste Camille Corot，1796年7月16日－1875年2月22日），法国著名的巴比松派画家，也被誉为19世纪最出色的抒情风景画家。画风自然，朴素，充满迷蒙的空间