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
I am glad some people feel sure of their answers though.
Your note is interesting too. I also looked up the phrase, but didn't look hard enough to find the story you did.
Thank you for making me think.
Reply
The piece is shorter than I would have liked--I procrastinated, and then didn't have much time left--and was really driven by the notion that any computer program could somehow settle the issue--I thought the very idea was hilarious.
The article I found is here:http://en.wikipedia.org/wiki/Ontological_argument#Automated_reasoning. Thank you for reading!
Reply
Reply
Reply
Reply
Reply
Reply
Leave a comment