Comment by ls612

1 day ago

>Bug free software is possible, ...

Mr. Turing and his halting problem would like to politely disagree with this assertion.

2 comments

ls612

Reply
ted_dunning  1 day ago

You misread the comment and DR Turing's paper.

Getting all possible software correct is impossible, clearly. Getting all the software you release is more possible because you can choose not to release the software that it is too hard to prove correct.

Not that the suggestion is practical or likely, but your assertion that it is impossible is incorrect.

  • ls612  21 hours ago

    If you want to be pedantic I’m pretty sure every single general purpose OS (and thus also the programs running under it) falls into the category of not provably correct so it’s a distinction without a difference in real life.