可计算性

✍ dations ◷ 2025-05-18 06:44:41 #计算理论

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

相关

费雷德里克·戴克拉克弗雷德里克·威廉·德克勒克（南非语：Frederik Willem de Klerk，1936年3月18日－），南非政治家，该国迄今为止的最后一任白人总统，也是废除种族隔离制度的推手。德克勒克出生于约翰内斯
康考迪亚大学协和大学（或音译称“肯考迪亚大学”等）是加拿大魁北克省蒙特利尔市一所大型综合性大学。也是该市第二所以英语为主要教学语言的大学。在2011至2012学年间，协和大学有为数达4595
宫颈息肉宫颈息肉（英语：cervical polyp）是一种常见的原发型息肉或肿物，通常生长于子宫颈管（英语：Canal of the cervix）表面。并发原因不明，但与宫颈炎相关。慢性炎症长期刺激使宫颈管局部黏
代理型孟乔森综合征代理型孟乔森综合征（Factitious disorder imposed on another）是指照顾者故意夸大或捏造受照顾者的生理、心理、行为或精神问题，甚或促成该等问题的心理疾病。。与孟乔森综合征
圣乔治乔治丝带（俄语：георгиевская ленточка，转写：georgiyevskaya lentochka）是黑色和橘色相间的丝带。乔治丝带起源于俄罗斯帝国时期的最高军功勋章——圣乔治勋
常青藤常春藤盟校或常春藤联盟（Ivy League）成立于1954年，是由美国东北部地区的8所私立大学组成的联盟。这8所学校有着许多共同的特点：它们都是美国名校、也是美国产生最多罗德奖学金得
蒙特罗斯县蒙特罗斯县（英语：Montrose County）是美国科罗拉多州西部的一个县，西邻犹他州。面积5,808平方公里。根据美国2000年人口普查，共有人口33,432人。县治蒙特罗斯（Montrose）。蒙特罗斯县
利昂娜谷利昂娜谷（英语：Leona Valley）是位于美国加利福尼亚州洛杉矶县的一个人口普查指定地区。利昂娜谷的座标为34°37′06″N 118°17′14″W / 34.61833°N 118.28722°W / 34.61833
东安县东安县属永州市，位于湖南省西南部湘江上游、永州市西北部，东界永州市，南邻广西全州县，西接新宁县，北至邵阳县。是湖南通往广西、海南的重要门户。为永州市代管县。总面积2219平方
柴油引擎柴油引擎（英语：Diesel Engine）又名压燃式发动机，是内燃机的一种。其主要特征为使用压缩产生高压及高温点燃气化燃料，而毋须另外提供点火。柴油引擎使用的原理称为狄塞尔循环，为德