...我好像看过一篇文章(似乎是在老版的博士家园上)，...

优质解答

没说过吧,不信你打开,没有错误这个词http://www.baidu.com/s?bs=%BD%E2%BE%F6%C1%CB%CF%A3%B6%FB%B2%AE%CC%D8%B5%DA%CA%AE%CE%CA%CC%E2%B5%C4%B6%ED%C2%DE%CB%B9%CA%FD%D1%A7%BC%D2%C2%ED%B5%D9%D1%C7%C8%FB%CE%AC%C6%E6+%B4%ED%CE%F3&f=8&wd=%BD%E2%BE%F6%C1%CB%CF%A3%B6%FB%B2%AE%CC%D8%B5%DA%CA%AE%CE%CA%CC%E2%B5%C4%B6%ED%C2%DE%CB%B9%CA%FD%D1%A7%BC%D2%C2%ED%B5%D9%D1%C7%C8%FB%CE%AC%C6%E6+%B4%ED%CE%F3

具体内容：

什么是希尔伯特第十问题

希尔伯特第十问题是一个与解方程有关的问题.在中学时我们就解过许多简单的方程,比如2x－2y＝1,x2＋y2＝z2.这两个简单方程有一个共同特点,只包含未知数的整数次幂,系数也都是整数,这类方程被称为整系数代数多项式方程.数学家们对这类方程的研究有着漫长的历史.

公元3世纪,希腊数学家丢番图（Diophantus,200?～284?）发表了一部长篇巨著《算术》.这部13卷的著作,经过1700多年的漫长岁月,流传至今的只有六卷.丢番图在这部著作中对整系数代数多项式方程进行的大量研究,对代数与数论的发展有着先驱性的贡献.后人为纪念他,把整系数代数多项式方程称为丢番图方程（DiophantusEquation）.

对于丢番图方程,数学家们最感兴趣的是它是否有整数解（或自然数解）.对于简单的方程这是很容易找到答案的,比如x2＋y2＝z2有整数解（早在3000多年前,我国古代的数学家就知道这个方程的一组即勾三股四弦五）；2x－2y＝1则没有整数解（因为方程的左边为偶数,右边却为奇数）.但对于一般的丢番图方程来说,判断它是否有整数解却是件极困难的事,其中最著名的例子就是费马猜想,即xn＋yn＝zn在n＞2时没有非零整数解,直到300多年后才得到证明.

长期以来,人们对丢番图方程是否有整数解的研究都是针对特定形式的丢番图方程进行的.有没有办法对一般的丢番图方程是否有整数解进行研究呢?或者,是否可以找到一种普遍的算法,用来判定一个任意的丢番图方程是否有整数解,从而一劳永逸地解决这类问题呢?这便是著名的希尔伯特第十问题.这样的问题在数学上被称为判定问题（DecisionProblem）,因为它寻求的是对数学命题进行判定的算法.

希尔伯特是一位对数学充满乐观信念的数学家.他提出这一问题时,没有用“是否存在这样的算法”作为问题的表述,而是直接要求数学家们寻找这样的算法,可见他对存在一个肯定的答案怀有期待.这种期待与他在其他方面对数学的乐观看法一脉相承.

不可判定命题的启示

希尔伯特第十问题要求寻找判定丢番图方程是否有解的算法.究竟是什么算法呢?当时没有明确的定义.这一困难使希尔伯特第十问题在提出后整整30年没有取得任何实质性进展.

直到20世纪30年代,对算法的研究才逐渐深入.

数学上,算法是（通过有限多的步骤）对数学函数进行有效计算的方法.因此算法研究的一个重要的切入点,是寻找可以有效计算的函数.到底什么样的函数是可以有效计算的呢?数学家们开始并没有普遍的结论,只知道一些最简单的函数,以及用这些函数通过若干简单规则组合出的函数是可以有效计算的.数学家们把这类函数叫做递归函数（RecursiveFunction）.

1931年,年轻的法国数学家赫尔布兰德（JacquesHerbrand,1908～1931）对递归函数进行了研究,并给著名逻辑学家哥德尔（KurtGdel,1906～1978）写信叙述了自己的研究结果.哥德尔当时正处于自己一生中最重大的成果———哥德尔不完全性定理———的研究时期,没有立即对赫尔布兰德的工作做出回应.那一年的夏天,年仅23岁的赫尔布兰德在攀登阿尔卑斯山时不幸遇难,他的工作因此被暂时埋没了.

与赫尔布兰德的研究差不多同时,20世纪30年代初,普林斯顿大学的美国逻辑学家丘奇（AlonzoChurch,1903～1995）也在积极从事逻辑及算法的研究,并且发展出了一种新的逻辑体系.他让自己的两个学生克林（StephenKleene,1909～1994）与罗瑟（JohnRosser,1907～1989）对这一体系做细致的研究.两个学生都是一流好手,克林后来还成为一流的逻辑学家.他们的研究很快就有了结果,但这结果大大出乎丘奇的意料.他们发现丘奇的那套体系竟然是自相矛盾的!命运似乎只有一个：放弃.幸运的是,丘奇的那套体系中有一个组成部分是自洽的,因此可以保留下来,这部分叫做兰姆达运算（λ－calculus）.

这种兰姆达运算可以用来定义函数,而所有用兰姆达运算定义的函数都是可以有效计算的.在对兰姆达运算做了研究之后,丘奇提出了一个大胆的猜测,他猜测所有可以有效计算的函数都可以用兰姆达运算来定义.

1934年,丘奇向到普林斯顿大学访问的哥德尔介绍了这一猜测,哥德尔却不以为然.丘奇不服气,请哥德尔给出一个他认为合适的描述.一两个月后,哥德尔就给出了一种完全不同的描述,这种描述的基础正是3年前赫尔布兰德在给他的信中叙述的结果.哥德尔对这一结果进行了完善,这一结果被人们称为赫尔布兰德－哥德尔递归函数.

这样,丘奇与哥德尔各自给出了一种体系,描述可以有效计算的函数.丘奇与克林很快证明,这两种看上去完全不同的描述方式实际上是彼此等价的.两位著名逻辑学家的工作殊途同归,大大增强了丘奇的信心.他相信人们已经找到了可以有效计算的函数的普遍定义.但哥德尔及其他一些人对此却仍然怀有疑虑.最终打消这种疑虑的是英国数学家图灵（AlanTuring,1912～1954）.

图灵当时对丘奇及哥德尔在这方面的研究并不知情.他所研究的课题是什么样的运算可以用机器来实现.他的这一研究对后来计算机科学的发展起到了深远的影响.在图灵的研究接近完成的时候,他的导师注意到了丘奇与哥德尔的工作.于是图灵对彼此的工作进行了比较,发现丘奇与哥德尔所定义的那些函数与他的抽象计算机可以计算的函数恰好吻合!图灵把这一结果作为附录加进了自己的论文.这下就连哥德尔也心悦诚服了,毕竟,有什么能比在计算机上计算更接近“可以有效计算”以及算法的基本含义呢?

在这些有关算法的研究中,数学家们还提出了一个重要的概念：递归可枚举集（RecursivelyEnumerableSet）.即由可以有效计算的函数所生成的自然数的集合.对于一个集合来说,一个很基本的问题就是判断一个元素是否属于该集合.递归可枚举集也不例外.当数学家们研究递归可枚举集的时候,发现了一个十分微妙的结果：对于某些递归可枚举集来说,我们无法判定一个自然数是否属于该集合!换句话说,有一些递归可枚举集是不可判定的.这一结果把对算法的研究与判定问题联系了起来,为后来解决希尔伯特第十问题埋下了重要的伏笔.

这一系列结果出现在1936～1937年间.那时候,在数学中存在无法判定的命题已经不是一件新鲜事了.早在5年前哥德尔就已经证明了他的不完全性定理,即任何足够复杂并且自洽的数学体系都必定包含不可判定的命题.当时已知的不可判定命题大都集中在逻辑领域内.在数学的其他领域中,究竟哪些命题是不可判定的呢?这个问题在整整10年之后才开始有答案.

1947年美国数学家波斯特（EmilPost,1897～1954）找到了第一个逻辑领域以外的不可判定命题.波斯特是一位有着深刻洞察力的逻辑学家,7岁时随父母从波兰移民到美国,是美国逻辑学的先驱之一.他早将近10年就得到了与哥德尔不完全性定理相似的结果,由于想对结果作更全面的分析而没有及时发表.1936年,几乎与哥德尔、丘奇及图灵同时,波斯特独立提出了类似于图灵的结果,他也是最早意识到希尔伯特第十问题可能会有否定答案的数学家之一.1944年,他在一篇文章中明确提出希尔伯特第十问题“期待一个不可解性证明”.当时波斯特在纽约市立大学任教,他的这一观点深深打动了一位学生,使后者走上了毕生钻研希尔伯特第十问题的征途.这位学生名叫戴维斯（MartinDavis,1928～）,是解决希尔伯特第十问题的关键人物.

http://baike.baidu.com/view/18295.html费马大定理

其他回答

5555555 I don'no

其他类似问题

问题1：我国著名数学家研究一辈子才解决的题目为什么1+1=2[语文科目]

对于1+1=2?的问题,我看了许多人的回答,基本上有两种：一种是这个问题很复杂是歌德巴赫猜想；另一种说这是公理,没有为什么的问题,实际是逃避对这个问题的回答.事实果真是这样的吗?绝对不是!下面这篇文章对这个问题作出了详细的答复,希望网管不要删除我的帖子,这是一篇科普文章,别让我们中国人到死都不知道1+1=?

绝对震惊：硕士生不知道1+1为什么等于2

在这里我们不讨论这些原因只谈谈应试教育带来的一个让人震惊和恐怖的结果：上幼儿园时就会算1+1=2但读到硕士也不知道1+1为什么等于2!之所以说是读到硕士也不知道是因为我没有向博士们提出过这个问题,问过大学生问过硕士生,结果是绝大多数人都不知道为什么1+1=2.

如果不信你可以问问周围的人为什么1+1等于2不等于3?,可能是类似于脑筋急转弯的题作得太多或者是奥数题做得太多了,人们对自己的答案都很不确定：“怎么证明?”、“太难了,这是歌德巴赫猜想”,“实在做不出来”等等.在这里可以明确地告诉大家：这不是脑筋急转弯或者歌德巴赫猜想,这就是个1+1为什么等于2不等于3的问题.

你在这里问了,证明你是个爱问的人.

大师作的是什么工作?大师之所以是大师,是因为他不只是应用知识更主要的是他能创造知识!奇妙的是,在人们征服自然的过程中自然界也会给人们出许多难题,不同于奥数难题的是大自然忘了给人们做标准答案,更让人受不了的是它居然不考虑人们掌握了哪些知识!尽是瞎出题出了许多用我们现有的知识解决不了的题!怎么办?这就是大师的工作,在现有的知识不能解决问题的时候大师们就创造出一些方法,用创造出来的知识去表示、解释、解决它!我们可以去想象一下,当时世界上还没有“1”、“2”、“+”、“=”这些东东,有一个古人遇到了一个苹果再加一个苹果的问题,他苦思良久终于写出了“1+1=2”这个著名的式子,这个人是谁?这个人就是大师!

1个苹果加一个苹果等于2个苹果所以1+1=2咯

问题2：（数学家才能解决的题）答完这道题以后,2路和5路公共汽车早上6时同时从起始站发车,2路车每5分钟发一辆车,5路每6分钟发一辆车.列表找出这两路车第二次同时发车的时间.2路车 6：00 6：05 6[数学科目]

6.30

2路车第7次

5路车第6次

问题3：经过我大量的学习与调查资料.我发现一个问题.我相信古乃至今的伟大数学家都能无法说出来的一个题.一个圆是由无数条垂直于圆心的直线组成.当圆的直线与圆相切时那么每条切线的角度则[数学科目]

这个问题你要把它看简单就简单,你要自己弄复杂就谁的说法都不同.

一个圆不能有无限条切线并集的一个子集,他的无限条切线会组成平面去除园内的部分.一个圆和一条切线的交集只有一个点,这无限个切点才刚好组成了这个圆.

问题4：数学家创造集合概念是要解决什么问题?[语文科目]

你的问题属于数学思想问题,很少有人会问这种问题的（应试教育必然如此）,我很喜欢讨论这类问题.

数学概念都很抽象,但是重要的核心概念都不是数学家吃撑了刻意创造的,要不然数学就不属于自然科学了呀.

“集合”和“数”很类似,属于人类不得不承认的事实.这与四则运算、微积分一样,都不是发明而是发现.

外星人可以没有人样,却不能没有数学.他们的语言、外貌、生活方式也许是我们无法想象的,但是他们必须会数数.

上世纪中旬美国向茫茫太空发射了地球使者——寻找外星人的旅行者号飞船,地球名片就是数学语言,因为只有数学是生物的通用自然语言.

古人类是为了分配管理猎物而不得不进行统计,演变成了自然数,农业产生后,丈量土地,萌生几何学.

后来人类关注的事物越来越多越复杂,就不得不分别考虑整体与局部,这就是分析、归纳的思维,于是集合的感念就形成了.

数有四则运算,集合同样有四则运算（并、差、交、余）,同样都是来源于人类生活当中的事情.

组合计数的依据就是集合运算,概率论从赌博中诞生,集合同样在概率计算里扮演主角,数学家用集合来定义自然数,很漂亮.

有一个很有力的证据可以证明集合不是数学家创造的,那就是曾经的数学危机——集合悖论（限于篇幅不能介绍了）.

如果数学家是为了达到自己的目的而创造集合概念,那么,他们肯定要给集合下定义,这是数学家公认的程序.

可是至今没有集合的定义,也正是因为如此,数学家早就对集合概念不满,想办法下一个明确的定义.

你猜结果如何?狼来了,发现了集合悖论.致使当时许多数学家极度悲观,认为数学大厦必定坍塌.

因为很多数学概念都用集合来定义的呀,集合出矛盾了,整个数学不就自己打自己的嘴吗?

一时间数学界一遍恐慌,有些不服气的数学家想办法亡羊补牢,提出各种整改方案,至少也算是啊Q精神吧.

无巧不成书,数学家哥德尔又发现了不完备定理,给还抱着幻想的数学家当头一棒,宣判了完美主义者的死刑.

真是屋漏偏逢下雨天,直到上世纪初,数学元气才算复苏.原来,数学大厦真是破烂不堪,将就着吧.

我说这个历史故事,就是为了佐证集合这玩意儿不好惹,数学家们用它来盖房子,结果大伤元气,所以集合绝不是他们创造来自残的东东.

至于集合能解决什么问题,就像数能解决什么问题一样,数不清.

数就像温和的女孩,要多乖有多乖,绝不闹事,数不清道不完,魅力无限.

集合就像调皮的男孩,能干,啥事都扛得住,谁惹他就让谁难堪.

有兴趣的你,请吐槽.

问题5：大数分解已经被一个数学家解决,好象是05,还是07年,谁知道详细的内容告诉我下.我补充下,这是个快速分解大数的算法,我一时查不到,要知道分解一个400位的大数的时间是10的10次幂年,这个算法[数学科目]

如果这样,大数就没有质数了吗