可计算性

✍ dations ◷ 2025-06-07 21:59:29 #计算理论

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

相关

细菌域放线菌门 Actinobacteria（高G+C）厚壁菌门 Firmicutes（低G+C）无壁菌门（无细胞壁）产水菌门 Aquificae 异常球菌-栖热菌门 Deinococcus-Thermus 纤维杆菌门-绿菌门/拟杆菌门 Fibro
诺森三世教宗意诺增爵三世（拉丁语：Innocentius PP. III；约1161年－1216年7月16日）本名塞尼伯爵罗塔里奥（Lotario dei Conti di Segni）。他于1198年1月8日当选罗马主教（教宗），同年2月22日即位至1
赌博赌场，又称娱乐场，是专供赌博的地方。常指合法经营的多种赌博场所，非法的聚赌地方一般称为赌窟或赌坊。赌场多数是提供赌客与赌场庄家的对赌。常见提供的博彩方法有：角子老虎机、
格鲁吉亚拉里拉里（格鲁吉亚语：ლარი，ISO代码：GEL），格鲁吉亚的官方货币单位。每一拉里可以分为100特瑞（英语：tetri）。“拉里”一词是一个古老的格鲁吉亚词语，含义为储藏，而“特瑞”是科尔基斯地区
鸟松区鸟松区（台湾话：.mw-parser-output .sans-serif{font-family:-apple-system,BlinkMacSystemFont,"Segoe UI",Roboto,Lato,"Helvetica Neue",Helvetica,Arial,sans-serif} Tsiá
拉撒路物种在古生物学中，拉撒路物种（Lazarus taxon）意思是那些在化石纪录中突然消失又出现的物种。其中拉撒路一词来源于《新约圣经》中的《约翰福音》，他是耶稣的好友及门徒，在其病死之后
时方经方，中医术语，有两种意义，一是指医家在治疗过程中发现确有疗效的“经验之方”，一是指在张仲景著作伤寒论、金匮要略中使用过的“医经之方”。在明清之前，经方一词主要是指“经验
登革病毒登革热病毒（英语：Dengue virus）又名骨痛热症病毒，是黄病毒科黄病毒属的一种正义单链RNA病毒。这种病毒是登革热、登革溢血热和登革休克综合征的病原体。此类病毒的传播媒介是两
女王陛下最忠诚的反对党政治主题女王陛下最忠诚的反对党（英语：Her Majesty's Most Loyal Opposition）或者称“官方反对党”（Official Opposition）是英国下议院中在野党的领袖。通常情况下，女王陛下最忠诚
安瓦尔·奥拉基安瓦尔·奥拉基（阿拉伯文：أنور العولقي，Anwar al-Awlaki，1971年4月22日－2011年9月30日）是一名在美国出生的也门裔伊斯兰教士，同时也是基地组织也门分支的首领。奥拉基在