Dr. Trask looked at the readings on the screen another time. Yes, the predicates were all valid; all inference rules were accounted for, as were all the fundamental axioms. He knew he should go over the code for the problem description, but he didn't want to; he knew it would have no mistakes. He had been over it fifteen times already; there were
(
Read more... )
Comments 10
Reply
Interesting question too.
Reply
Reply
Leave a comment