Skip to content

Halting and misunderstandings

March 24, 2011

It is a misunderstanding to think that someone who is more optimistic about testability of programs (me) must have neglected the halting problem.

Such thinking is so far off as left field. This stems again from the many over generalizations computer scientists engage in.

When someone believes that a program can be proven correct, it does not mean he is under mythical illusion that the halting problem has been solved. Correctness proof does the job of proving a program correct. That is the point. The issue of it being practical or not for some organizations to use is a separate issue. That is a different matter.

Advertisements
No comments yet

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: