Comment Re:Would stop a lot of development (Score 1, Interesting) 550
Yes. You can't "prove" that anything but a trivial program works correctly. I think that was the conclusion of the famous paper by Turing in the 1930's.
Submission + - Arkansas Earthquakes Could Be Man-Made (ibtimes.com) 1
oxide7 writes: The small earthquakes that struck north central Arkansas could be from a combination of natural and man-made activity. Some experts think that pumping water into the ground as part of the extraction process of natural gas could cause local seismic events.
Slashdot Top Deals
Thus spake the master programmer: "When a program is being tested, it is too late to make design changes." -- Geoffrey James, "The Tao of Programming"
