Attempts to apply mathematical proof to demonstrate that a progr

Attempts to apply mathematical proof to demonstrate that a program conforms to its specifications are doomed to failure. ~@[](1)

答案：FALSE