[4085] in Depressing_Thoughts
Re: Math proofs are bogus!
rlk@ATHENA.MIT.EDU (rlk@ATHENA.MIT.EDU)
Mon Oct 25 11:36:26 1993
Permit me to differ.
Proofs are most emphatically not bogus if one is working in the computer
field. Reliable programs, hardware, etc. are much more popular among
customers than unreliable ones, and being able to prove assertions about
said programs vastly improves one's confidence level in said programs.
It also can enable one to remove extraneous error checking code that may
slow down the program or needlessly complicate it.
Note that I am speaking from the perspective of one who has done I/O work
in the kernel for the past year.
