Comment Re:TIME! (Score 1) 682
bug-free code mathematically impossible??? What strange sort of mathematics is that.
I can trivially prove that bug-free code exists: The empty program is a bug-free implementation of doing nothing.
Or: By defining that a specific program should do exactly what it does now, that program is absolutely bug-free.
You were probably thinking about the "halting problem" in computer science. There are programs where you can't prove total correctness because you can't prove they ever stop, see wikipedia for an explanation.
I can trivially prove that bug-free code exists: The empty program is a bug-free implementation of doing nothing.
Or: By defining that a specific program should do exactly what it does now, that program is absolutely bug-free.
You were probably thinking about the "halting problem" in computer science. There are programs where you can't prove total correctness because you can't prove they ever stop, see wikipedia for an explanation.
