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