Comment on The Art of Computer Programming by Donald E. KnuthparentComments−mathattack2moAnd he closes [2] with “May the force be with you”Very interesting that he seems to be in the camp of “It’s ok if the machines prove it as long as we can understand and formally verify it after.”
Comments
And he closes [2] with “May the force be with you”
Very interesting that he seems to be in the camp of “It’s ok if the machines prove it as long as we can understand and formally verify it after.”