News for hackers. Stuff that matters.
Re:Formal Verification Creates Hacker-Proof Code by lmkg on Friday October 21, 2016 @01:29PM (#12762536)
The incompleteness theorem effectively states that some statements will require an infinite amount of time for this bootstrapping approach to work. The only deity involved is the finite-ness of the natural world.

There are no comments on this comment yet.