11 Jul
2007
11 Jul
'07
5:31 p.m.
On 7/11/07, Peter Gutmann <pgut001@cs.auckland.ac.nz> wrote:
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.
ok, but that doesn't change the fact that this article is about some guy trying to create a controversial topic to create publicity for himself. it's funny he tries to suggest that something accepts random inputs isn't an algorithm. umm what? where did he come up with that? the world excepts 'random' inputs [us] and functions according to laws [algorithms].
Peter.
-- mike http://lets.coozi.com.au/