《21.1.1合情推理.ppt

合情推理 ——归纳推理 什么是推理？ 费马猜想: 哥德巴赫猜想(Goldbach Conjecture) 在陈景润之前，关於偶数可表示为 s个质数的乘积 与t个质数的乘积之和(简称“s + t ”问题)之进展情况如下: 1920年，挪威的布朗(Brun)证明了 “9 + 9 ”。 1924年，德国的拉特马赫(Rademacher)证明了“7 + 7 ”。 1932年，英国的埃斯特曼(Estermann)证明了 “6 + 6 ”。 1937年，意大利的蕾西(Ricei)先後证明了“5 + 7 ”, “4 + 9 ”, “3 + 15 ”和“2 + 366 ”。 1938年，苏联的布赫 夕太勃(Byxwrao)证明了“5 + 5 ”。 1940年，苏联的布赫 夕太勃(Byxwrao)证明了 “4 + 4 ”。 1948年，匈牙利的瑞尼(Renyi)证明了“1 + c ”，其中c是一很大的自然 数。 1956年，中国的王元证明了 “3 + 4 ”。 1957年，中国的王元先後证明了 “3 + 3 ”和 “2 + 3 ”。 1962年，中国的潘承洞和苏联的巴尔巴恩(BapoaH)证明了 “1 + 5 ”， 中国的王元证明了“1 + 4 ”。 1965年，苏联的布赫 夕太勃(Byxwrao)和小维诺格拉多夫(BHHopappB)，及 意大利的朋比利(Bombieri)证明了“1 + 3 ”。 1966年，中国的陈景润证明了 “1 + 2 ”。 最终会由谁攻克 “1 + 1 ”这个难题呢？现在还没法预测。 例题４：类比平面内直角三角形的勾股定理，试给出空间中四面体性质的猜想。 * * Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 推理是人们思维活动的过程，是根据一个或 几个已知的判断来确定一个新的判断的思维过程。 推 理（分类） 合情推理 演绎推理 归纳 类比 ？ Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 每幅地图可以用四种颜色着色，使得有共同边界的相邻区域着上不同色. 1852年，英国人弗南西斯·格思里为地图着色时，发现了四色猜想. 1976年，美国数学家阿佩尔与哈肯在两台计算机上，用了1200个小时，完成了四色猜想的证明. Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 歌德巴赫猜想的提出过程： 3＋7＝10，3＋17＝20，13＋17＝30， “任何一个不小于6的偶数都等于两个奇质数之和” 即:偶数＝奇质数＋奇质数 改写为:10＝3＋7，20＝3＋17，30＝13＋17． 6＝3+3， 1000＝29+971， 8＝3+5， 1002=139+863, 10＝5+5, … 12＝5+7， 14＝7+7， …， 歌德巴赫猜想: Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 由某类事物的 具有某些特征, 推出该类事物的 都具有这些特征 的推理,或者由