Re: Want to be a computer scientist? Forget maths

Sarad AV <jtrjtrjtr2001@yahoo.com> writes:

One of the most common ways used to prove algorithmic correctness is mathematical induction, isn't it?

Yes. Now name someone who isn't a maths geek at a University who proves algorithmic correctness as part of their work. Peter.