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.
