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
Real Users find the one combination of bizarre input values that shuts down the system for days.
