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?"
A sine curve goes off to infinity, or at least the end of the blackboard. -- Prof. Steiner