Welcome to European Tribune. It's gone a bit quiet around here these days, but it's still going.
Display:
I agree some can be.  

At a former job I verified a program's algorithm would accomplish the required task and then halt.  I also found it would halt after ~600 years.  Thus it wasn't Formally NP ...

& whoop-de-do

Computer Engineering is engineering.  As such it is different than the tools: Logic, Maths, etc., it uses.  Axiomatic Deductive Logic is a nice tool.  In all too many cases using only ADL is a sure route to, "How the %$^@#$! did we get into THIS mess?"

She believed in nothing; only her skepticism kept her from being an atheist. -- Jean-Paul Sartre

by ATinNM on Wed Jun 12th, 2013 at 01:36:44 PM EST
[ Parent ]
Axiomatic Deductive Logic

No, no it's not. Just no. Bleurgh.

by Colman (colman at eurotrib.com) on Wed Jun 12th, 2013 at 01:38:55 PM EST
[ Parent ]
We have to be gentle with Migeru.  His mind has been warped by Physics.

She believed in nothing; only her skepticism kept her from being an atheist. -- Jean-Paul Sartre
by ATinNM on Wed Jun 12th, 2013 at 03:42:41 PM EST
[ Parent ]

Display:

Top Diaries

Latest Data Omicron Variant

by Oui - Nov 30
25 comments

Sweden almost has a new PM

by fjallstrom - Nov 26
9 comments

Ten Days That Redefined PM Johnson

by Oui - Nov 14
35 comments

Salman's Saudi Tiger Squad

by Oui - Nov 7
13 comments

Occasional Series