数学家是怎样思考问题的？ 第1页

谢邀。刚好这周合作者过来了，整日整夜的讨论，日常画风大概是这样的。

A：这篇文章证了所有辛辛那提的猫都是好猫，我们是不是可以拓展一下。

B：那俄亥俄州立的猫是不是都是好猫？

A：不对。哥伦布有一群很坏的猫。

B：有道理，那辛辛那提的狗是不是都是好狗？

A：不知道欸。狗的性质太差了，我们还是讨论猫吧。

B：好。那布卢明顿的猫是不是都是好猫？

A：是的。去年有人证明了，因为布卢明顿的猫很少，他们穷举了一遍，发现都是好猫。但是如果放到整个印第安纳来讲，猫就太多了，他们的方法就不管用了。所以这个问题目前还是未知，但是很难。

B：之前有个大牛证明了，如果猫是黑猫或者白猫，并且会抓老鼠，那么就一定是好猫。我们看看能不能用一用。

A：这么强的结果！黑猫好说啊，印第安纳的黑猫是有限的，很容易验证都是好猫。白猫有点多，是不是所有白猫都会抓老鼠呢？

B：草，不是。很可惜有一小部分家养的白猫不会抓老鼠。不过除此以外其它的白猫都会。

A：但是这些家养的猫会抓鱼！

B：有道理！我们可以模仿之前那个大牛的结果，证明如果猫是白的，并且会抓鱼，则一定是好猫！

A：可以可以。所以我们证明了印第安纳的白猫都是好猫？那密歇根的猫也会抓鱼，我们是不是也能证明密歇根的白猫都是好猫？

B：好像是的。。。哦不对，密歇根没有白猫！

A：草。

B：草。

A：今天就到此为止吧，晚上吃什么？

B：你定吧。这个问题对我来说太难了，比数学难多了。