"I don't believe in that stuff, prove it!"
"I don't believe in you, prove that you exist!"
As a programmer I'd be severely crippled if I had to prove that my code has no bugs. It might be possible to prove it, but it'd take way too much time with my current knowledge in the area.
So, since I can't waste time making proofs, I just take an interesting theory and put it in code. I'll do my best to iron out all possibilities of bugs that I can think of and deal with whatever might be left when someone discovers it.
Sadly, in my reality bugs almost always sneak into my code, it doesn't matter if I think they will or not. I guess bugs are created somewhere in my unconscious mind.
|