2 ms·
Yes, most of us not do not seem to be able to resist the desire for the reassurance as you put it. My reading of the paper is that it is more about the lack of
by zanker_swe1 8y ago
Yes, most of us not do not seem to be able to resist the desire for the reassurance as you put it.
My reading of the paper is that it is more about the lack of mathematical (perhaps rational or logical may be the right word) approach to program development than proving programs or lack of proofs.