可计算性

✍ dations ◷ 2025-11-14 02:27:53 #计算理论

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

相关

羟甲基戊二酸单酰辅酶A还原酶抑制剂羟甲基戊二酸单酰辅酶A还原酶抑制剂（英语：HMG-CoA reductase inhibitors 或 Statins，简称“HMG-CoA还原酶抑制剂”或“他汀类药物”）是一类抗高血脂药。因他汀类有降低低密度脂
死亡面具死亡面具（Death Mask）是以石膏或蜡将死者的容貌保存下来的塑像。死亡面具通常是为了保存对死者的回忆，或是为了将来制作肖像画的资料而制作，偶尔也有就直接于死亡面具上着色后制
希波纳克斯希波纳克斯（英语：Hipponax），（前540年－前487年）。古希腊以弗所的抑扬格诗人之一。后被放逐到科拉佐美纳埃。他创作有讽刺、粗俗甚至是辱骂性的诗歌，为跛脚音步的创始人。亦是模仿滑籍
天体化学天体化学（英语：Astrochemistry），又称天体化学；天体化学研究宇宙中元素和分子的丰度，以及它们和辐射的相互作用；还研究星际间气体和尘埃间的相互作用，特别是分子气体云的形成、相互作
电流表电流表（英文：Ammeter）又称安培计，是测量电流的仪表，主要类型有转动线圈式电流表、转动铁片式电流表、热偶式电流表、热线式电流表以及钳形电流表等。转动线圈式电流表（galvanomete
普罗透斯普罗透斯（.mw-parser-output .Polytonic{font-family:"SBL BibLit","SBL Greek","EB Garamond","EB Garamond 12","Foulis Greek",Cardo,"Gentium Plus",Gentium,"Theano Did
葫芦葫芦（学名：Lagenaria siceraria），别称蒲瓜、扁蒲、瓠瓜、瓠子、蒲仔、匏仔等，是属于葫芦科葫芦属的一种植物，它是爬藤植物，其果实也被称为葫芦。葫芦是人类最早种植的植物之一，用作
古巴中华民国与古巴关系是指中华民国与古巴共和国之间的关系。1913－1960年两国有正式外交关系，因古巴共产革命导致断交后，与中华民国关系极不友好。目前没有在对方首都互设具大使馆
保罗·斯科尔斯保罗·斯科尔斯（英语：Paul Scholes，1974年11月16日－），已退役英格兰足球运动员，出任中场，精于长传及后上射门，尤其远射更加是其必杀技。在他职业生涯中，一直都效力曼彻斯特联队，球衣号码
黔中黔中郡，中国古代的郡。战国楚置。辖境约当今湖南省西部和贵州省东部，后地入秦。治所在临沅县（今湖南常德市）；一说治沅陵县（今湖南沅陵县西南）。辖境扩大，有今湖南省沅江、澧水流域，湖