可计算性

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

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

相关

血脑屏障脑血管障壁（英语：blood–brain barrier ，BBB），也称为血脑屏障或血脑障壁，指在血管和脑之间有一种选择性地阻止某些物质由血液进入大脑的“屏障”。19世纪末，保罗·埃尔利希在一个实
降雨量降水量是一定时间内，降落到水平面上，假如无渗漏，不流失，也不蒸发，累积起来的水的深度，是衡量一个地区降水多少的数据。其单位是毫米，符号是mm。常用年降水量来描述该地气候，是除气候
饱和效应饱和，饱和度，不饱和或不饱和度可以指:
York UniversityAUCC，CARL，IAU， COU，CIS，OUA，CUSID 菲尔兹研究所，CBIE约克大学（英语：York University，法语：Université York），是位于加拿大安大略省多伦多市的一家著名综合性大学。一直以来，约克大学以工
文件服务器文件服务器（英文：File server），是一种专供其他电脑检索文件和存储的特殊电脑。文件服务器通常比一般的个人电脑拥有更大的存储容量，并具有一些其他的功能，如磁盘镜像、多个网络接
span class=nowrapSnClsub2/sub/span氯化锡（II），化学式SnCl2，为白色固体。将锡溶于浓盐酸中，再将溶液蒸发，制得无色针状结晶SnCl2‧2H2O。反应式：溶于水中则水解生成碱式氯化亚锡的白色沉淀。反应式：但可完全溶解于酸性
一一《一一》（英文片名：A one and a two）是一部台湾电影，拍摄于2000年，全片时长174分钟，导演及编剧为台湾电影艺术家杨德昌。本片是杨德昌的代表作之一，是台湾新浪潮电影运动中的重要作
谢道时谢道时（1948年3月16日－2016年8月4日），台湾生物化学家，第二十九届中央研究院院士，2009年起任中央研究院细胞与个体生物学研究所所长。谢道时1970年毕业于中华民国国立台湾大学化学
普吉岛普吉府（泰语：จังหวัดภูเก็ต，皇家转写：Changwat Phuket，泰语发音：）是泰国77个一级行政区之一，府治为与行政区同名的普吉市。该行政区全境以普吉岛再加上32个离岛为范围
瑶语支瑶语支，又称勉语支，是苗瑶语系的一个语支。说瑶语支语言的人约有150万。自称“勉”、“金门”、“标敏”、“藻敏”等等。主要分布在华南（90万）和越南（50万），泰国、老挝、美国（主要