Welcome to European Tribune. It's gone a bit quiet around here these days, but it's still going.
That there are undecidable questions of arithmetic doesn't mean that every algorithm verification is undecidable.

Finance is the brain [tumour] of the economy
by Migeru (migeru at eurotrib dot com) on Mon Jun 10th, 2013 at 04:23:49 PM EST
[ Parent ]

Others have rated this comment as follows:


Occasional Series