可计算性

✍ dations ◷ 2025-04-04 19:17:35 #计算理论

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

相关

蚊子蚊科（学名：Culicidae）是昆虫纲双翅目之下的一个科。该科生物通常被称为蚊或蚊子，是一种具有刺吸式口器的纤小飞虫。绝大多数蚊科的雄蚊以植物汁液为食，雌蚊则外寄生于其他生物表
米索前列醇米索前列醇（Misoprostol），常见商品名为Cytotec，是一种人工合成的PGE1药物。用于加速分娩、流产、预防或治疗胃溃疡，或治疗因为子宫收缩不足所造成的产后出血。如果用于流产，常常
GBSGBS可以指：
弗朗西斯一世弗朗索瓦一世（法语：François I，1494年9月12日－1547年3月31日），即位前通常称昂古莱姆的弗朗索瓦（François de Angoulême），又称大鼻子弗朗索瓦（François au Grand Nez），骑士国王（le Ro
地中海型气候地中海式气候，又称作地中海气候、副热带夏干气候，其分布于中纬度地区（约南北纬30至40度）的大陆西岸地区，包括地中海沿岸地区、黑海沿岸地区、美国的加利福尼亚州、澳洲西南部伯斯
噬菌体展示噬菌体展示技术（Phage display），将编码“诱饵”的 DNA 片段插入噬菌体基因组，并使之与噬菌体外壳蛋白编码基因或其他结构基因相融合，然后用该重组噬菌体侵染宿主细菌，复制形成大量
复合年均增长率复合年均增长率（Compound annual growth rate，简称CAGR）是指一项投资在一特定时期内的年度增长率。年均复合增长率（Compound Annual Growth Rate，CAGR）即CAGR是指一项投资在特定时
分类测试统计分类是机器学习非常重要的一个组成部分，它的目标是根据已知样本的某些特征，判断一个新的样本属于哪种已知的样本类。分类是监督学习的一个实例，根据已知训练集提供的样本，通
波米叔叔的前世今生《能召回前世的布米叔叔》（泰语：ลุงบุญมีระลึกชาติ，英语：Uncle Boonmee Who Can Recall His Past Lives），于2010年5月在戛纳电影节首映，由泰国导演阿彼察邦·韦拉
黑鹳黑鹳（学名：Ciconia nigra）是鹳形目鹳科鹳属的一种大型涉禽，又名黑老鹳、乌鹳、锅鹳、捞鱼鹳。黑鹳广泛分布于欧洲各地，在亚洲也有分布。它是一种迁徙鸟，冬季飞往南方过冬。黑鹳是