"I'll leave that one as an exercise to try to solve afterwards - come back tomorrow with your own best guess, even if you haven't proven it, about whether it's necessarily true, necessarily false, or neither."
"Now, let me present you with a different puzzle. I was constructing an agent but, oops, I forgot to give it the 'or' symbol," Keltham points to where \/ was written. "It's got all the other symbols like forall, and, not, implies, but darn it, I just forgot to give it the 'or' symbol. Can you form a statement that's equivalent to 'for every object h, h is red or h is blue' out of the symbols I did remember to put in? So I can explain that important fact to my poor confused entity? Sorry for making you clean up my mess, there, but the entity's already created and I can't redesign its mind now."
"I'll leave that one as an exercise to try to solve afterwards - come back tomorrow with your own best guess, even if you haven't proven it, about whether it's necessarily true, necessarily false, or neither."
"Now, let me present you with a different puzzle. I was constructing an agent but, oops, I forgot to give it the 'or' concept," Keltham points to where \/ was written. "It's got all the other concepts here like forall, and, not, implies, but darn it, I just forgot to give it the 'or' concept. Can you form a statement that's equivalent to 'for every object h, h is red or h is blue' out of the concepts I did remember to put in? So I can explain that important fact to my poor confused entity? Sorry for making you clean up my mess, there, but the entity's already created and I can't redesign its mind now."
"I'll leave that one as an exercise to try to solve afterwards - come back tomorrow with your own best guess, even if you haven't proven it, about whether it's necessarily true, necessarily false, or neither."
"Now, let me present you with a different puzzle, one that starts to lead into a higher lesson. I was constructing an agent but, oops, I forgot to give it the 'or' concept," Keltham points to where \/ was written. "It's got all the other concepts here like forall, and, not, implies, but darn it, I just forgot to give it the 'or' concept. Can you form a statement that's equivalent to 'for every object h, h is red or h is blue' out of the concepts I did remember to put in? So I can explain that important fact to my poor confused entity? Sorry for making you clean up my mess, there, but the entity's already created and I can't redesign its mind now."
"I'll leave that one as an exercise to try to solve afterwards - come back tomorrow with your own best guess, even if you haven't proven it, about whether it's necessarily true, necessarily false, or neither."
"Now, let me present you with a different puzzle, one that starts to lead into a higher lesson. I was constructing an agent but, oops, I forgot to give it the 'or' concept," Keltham points to where \/ was written. "It's got all the other concepts here like forall, and, not, implies, but darn it, I just forgot to give it the 'or' concept. Can you form a statement that's equivalent to 'for every object h, h is red or h is blue' out of the concepts I did remember to put in? So I can explain that important fact to my poor confused entity? Sorry for making you clean up my mess, there, but the entity's already created and I can't redesign its mind now."
"I'll leave that one as an exercise to try to solve afterwards - come back tomorrow with your own best guess, even if you haven't proven it, about whether it's necessarily true, necessarily false, or neither."
"Now, let me present you with a different puzzle, one that starts to lead into a higher lesson. I was constructing an agent but, oops, I forgot to give it the 'or' concept," Keltham points to where \/ was written. "It's got all the other concepts here like forall, and, not, implies, but darn it, I just forgot to give it the 'or' concept. Can you form a statement that's equivalent to 'for every object h, h is red or h is blue' out of the concepts I did remember to put in? So I can explain that important fact to my poor confused entity? Sorry for making you clean up my mess, there, but the entity's already created and I can't redesign its mind now."
"I'll leave that one as an exercise to try to solve afterwards - come back tomorrow with your own best guess, even if you haven't proven it, about whether it's necessarily true, necessarily false, or neither."
"Now, let me present you with a different puzzle, one that starts to lead into a higher lesson. I was constructing an agent but, oops, I forgot to give it the 'or' concept," Keltham points to where \/ was written. "It's got all the other concepts here like forall, and, not, implies, but darn it, I just forgot to give it the 'or' concept. Can you form a statement that's equivalent to 'for every object h, h is red or h is blue' out of the concepts I did remember to put in? So I can explain that important fact to my poor confused entity?"
\ h. red(h) \/ blue(h) = ???
"Sorry for making you clean up my mess, there," Keltham adds, "but the entity's already created and I can't redesign its mind now."
