jwz83 writes: "I want to educate an artificial intelligence. Perhaps like parents educate their children. I have my philosophical theorems and want to prove these. But not from the program code itself but by interaction. Suggestions?"
If it is a Miracle, any sort of evidence will answer, but if it is a Fact, proof is necessary. -- Samuel Clemens