Quote:
Originally Posted by roondar
Actually, it really kind of does. If you can't prove a program is bugfree, then assuming it may be so anyway because you can't know is, quite frankly, absurd.
|
Nope. I didn't write you should assume software is bugfree.
The only reasonable thing to do is to not assume anything at all.
It is also absurd to assume a program isn't bugfree and WILL crash your system.
You can however suppose that a well tested program is
reasonably bugfree and for all practical purposes, it's enough.
Quote:
Originally Posted by roondar
You may as well accept that invisible unicorns may be responsible for the electromagnetic force as that is equally unprovable and thus 'unknown'.
|
Now, THAT's absurd.
If you can have an alternate explanation and it is simpler - i think we do - then Ockam's razor is enough.