可计算性

✍ dations ◷ 2024-09-20 08:11:49 #计算理论

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

相关

康托尔格奥尔格·费迪南德·路德维希·菲利普·康托尔（德语：Georg Ferdinand Ludwig Philipp Cantor，1845年3月3日－1918年1月6日），出生于俄国的德国数学家（波罗的海德国人）。他创立了现代
科达树见内文科达树（学名：Cordaites）是一属已灭绝的树状植物，与种子蕨类同样由前裸子植物演化而来，为现今银杏类与松柏类植物的祖先。生长在与佛罗里达州大沼泽地相似的湿地中，常在其树
热舒适性热舒适性（Thermal comfort）为人体对温度、湿度、风速等物理环境的感受与喜好状态，可以透过主观评估（ASHRAE 55（英语：ASHRAE 55））的方式来确认，不仅影响人体的工作效率，更可能造成健康
双簧双簧为一种民间艺术，源于北京的一种曲艺名字，由前面的一个演员表演动作，藏在后面的一个人或说或唱，互相配合，好像前面的演员在自演自唱一样。“双簧”作为一种节目，出现于清朝末年
二叉羊齿见内文二叉羊齿属（学名：Dicroidium），又名叉蕨属、叉叶松属，是一属已灭绝的种子蕨，生存于三叠纪时期的冈瓦纳大陆上。它们生长在热带森林中，是喙头龙目等的主要食草。其化石主要分布
常州词派常州词派是清代中叶以后的重要词派。清初词风以浙西词派为主﹐词宗姜夔、张炎。到了清中后期，浙派词内容更趋空虚狭窄。后有常州人张惠言提出“比兴寄托”，主张“意内言外”，较之
日本大学列表以下是日本各大学的列表：在日本，所谓国立大学就是国家直接设置的大学和国立大学法人设置的大学。国立大学法人是国家全额出资的团体。但自从2004年4月1日的新学年开始，所有国立
锺玲玲锺玲玲可以指：
汝南汝南郡，中国古代郡名，在今河南省、安徽省境。发源于汝南郡的知名郡姓有：汝南袁氏、汝南周氏等。秦汉之际，其地属陈郡，于西汉初年置郡。汉高帝十一年（前196年）以陈郡置淮阳国。至迟
2019冠状病毒病澳大利亚疫情1月1月2月2月3月3月4月4月过去15日过去15日 2019冠状病毒病澳大利亚疫情介绍在2019冠状病毒病疫情中，在澳大利亚发生的情况。截至2020年4月19日上午，澳大利亚共有6,586人确诊