Sarad AV <jtrjtrjtr2001 at 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.