« Economists from another planet? | Main | Global Worming »
December 09, 2005
Will computers replace mathematicians?
Few days ago one formal-proofs specialist claimed that in 20 years computers will replace mathematicians?
Well, I heard this 20 years ago... and 30 years ago too... and there was a similar talks about electro-mechanical calculators... and mechanical ones... and abacus...
But it is true that some fields of mathematics were replaced by computers. Probably it will happen with the theory of the formal proofs. So - no need to hire specialists in this field for tenured positions.
Posted by Victor at December 9, 2005 04:48 AM