可计算性

✍ dations ◷ 2024-12-22 23:10:27 #计算理论

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

相关

糖渍糖渍（英语：Sugaring），是一种食物保存法，常用于蔬果加工。作用原理是将食物加入大量的糖分，使食物呈现脱水状态，进而抑制微生物的生长，以达到食物长期保存的目的。
人权宣言人权宣言可以指：
等离子武器等离子武器，一种定向能量武器，以高温的等离子团作为杀伤手段。此武器经常出现在科幻电影、小说、游戏或动画中。其实这种武器是可能出现在未来的。利用激光技术实现把重氢加热
语源语源学（英语：Etymology，希腊语：ετυμολογία），是一门研究字词来源的学科。英语的“Etymology”一词本身源于“希腊语：έτυμος”（真实）与“希腊语：λόγος”（字、理性或
佛莱迪·摩克瑞www.freddiemercury.com弗雷迪·默丘里（英语：Freddie Mercury，1946年9月5日－1991年11月24日），原名法鲁克·布勒萨拉（Farrokh Bulsara，古吉拉特语：ફરોખ બલ્સારા‌），英国歌手
相对论量子力学在理论物理学里，量子场论（英语：Quantum field theory，简称QFT）是结合了量子力学、狭义相对论和经典场论的一套自洽的概念和工具。:xi在粒子物理学和凝聚态物理学中，量子场论可以分
军工复合体军事工业复合体（英语：Military-Industrial Complex，MIC），也称军事工业国会复合体（Military-Industrial-Congressional Complex，MICC），中文简称军工复合体，是指一国军队与军事工业因政
阿拉伯基督徒阿拉伯基督徒在广义上指生活在阿拉伯世界信仰基督教的群体。狭义上指近东地区的巴勒斯坦基督徒。各类数据统计在500万至2000万人之间，一般认为在600万至800万人间。主要分布
中央法院朝鲜民主主义人民共和国主题朝鲜民主主义人民共和国中央裁判所（朝鲜语：조선민주주의인민공화국 중앙재판소）是朝鲜民主主义人民共和国的最高法院，也是朝鲜司法机构（英语：judiciary
单克隆抗体治疗单克隆抗体治疗是一种使用单克隆抗体（monoclonal antibodies，mAb）的免疫治疗，这个抗体可以单一且特异地（英语：monospecific antibody）结合某些细胞或蛋白质。这类治疗的主要目的在