直观和逻辑

直观是绝对必要的。在考虑用人工智能进行数学推理的时候大家往往只注重逻辑，我想这是电脑还没学会数学的主要原因。我并不认为直观是人独有的能力。电脑也可以有直观，只要你好好编程。（不过这好象和数学没有什么关系。）

人的缺点是，往往会轻易相信自己的直观。当严密的逻辑推理导出了比如说关于无穷大的种种所谓“不可思议”的性质时，人们往往会怀疑逻辑出了问题——逻辑，这个行事绝不光明正大的诡辩家，不知道在什么地方偷偷做了什么手脚，然后就把人给骗了。比如说就在那个反证法里。——但这往往是不对的。如果你无法接受一个由严密的逻辑推理得到的结论，通常是因为你的直观出了毛病。比如说初学者往往把无穷大想象成“一个很大很大的数”，这在很多时候有效，但也会出很多毛病。而如果想象成“一个越来越大的数”，情况就会好的多。请发挥你的想象力。

数学的特征

说到数学，我总是喜欢举两个问题作为例子。

第一个问题是，一杯水和一杯酒，体积相同。舀一勺水到酒里，搅拌一下，再舀一勺（掺了水的）酒到水里。现在问是酒里的水多还是水里的酒多？
答案是一样多。不管一勺有多大，也不管有没有搅匀。这是因为这两杯东西在开始和最后的体积都是相同的，所以说有多少水跑到了酒里，就有多少酒跑到了水里去填补失去的水留下的空位。