谢邀。刚好这周合作者过来了,整日整夜的讨论,日常画风大概是这样的。
A:这篇文章证了所有辛辛那提的猫都是好猫,我们是不是可以拓展一下。
B:那俄亥俄州立的猫是不是都是好猫?
A:不对。哥伦布有一群很坏的猫。
B:有道理,那辛辛那提的狗是不是都是好狗?
A:不知道欸。狗的性质太差了,我们还是讨论猫吧。
B:好。那布卢明顿的猫是不是都是好猫?
A:是的。去年有人证明了,因为布卢明顿的猫很少,他们穷举了一遍,发现都是好猫。但是如果放到整个印第安纳来讲,猫就太多了,他们的方法就不管用了。所以这个问题目前还是未知,但是很难。
B:之前有个大牛证明了,如果猫是黑猫或者白猫,并且会抓老鼠,那么就一定是好猫。我们看看能不能用一用。
A:这么强的结果!黑猫好说啊,印第安纳的黑猫是有限的,很容易验证都是好猫。白猫有点多,是不是所有白猫都会抓老鼠呢?
B:草,不是。很可惜有一小部分家养的白猫不会抓老鼠。不过除此以外其它的白猫都会。
A:但是这些家养的猫会抓鱼!
B:有道理!我们可以模仿之前那个大牛的结果,证明如果猫是白的,并且会抓鱼,则一定是好猫!
A:可以可以。所以我们证明了印第安纳的白猫都是好猫?那密歇根的猫也会抓鱼,我们是不是也能证明密歇根的白猫都是好猫?
B:好像是的。。。哦不对,密歇根没有白猫!
A:草。
B:草。
A:今天就到此为止吧,晚上吃什么?
B:你定吧。这个问题对我来说太难了,比数学难多了。