- #36
matt grime
Science Advisor
Homework Helper
- 9,426
- 6
Really? How many examples can you cite? Perhaps the four colour theorem, and some useful conjecture indicators in number theory... Computer drawing packages have certainly helped with real 3-d algebraic geometry, I suppose. Certainly computer packages are useful for checking large (numbers of) examples, but I'm not even aware of a successful proof checker for a computer.Crosson said:The educational system is a dinosaur! Computers have changed mathematics forever and those centuries of experience matter less and less with each passing day.