Title: Computerized Mathematics From Number Crunching, through Symbol Crunching, to Idea Crunching
Abstract: Can computers think? Of course not. But neither can humans! All that both humans and computers do is COMPUTE. Computers are already much better than humans in number crunching and symbol crunching, but they still can learn something from us humans about idea crunching. If we want to maximize our mathematical knowledge, we should give up our childish vanity of trying to do things all by ourselves, and rather dedicate all our time to teaching computers how to crunch ideas as well as possible. And if they will soon surpass their masters, all for the better!