When we are done here, someone who understands mock theta functions will be able to make a form describing them (like with Wikipedia, but formal) and a program that knows my goals will figure out whether they are important to my agenda. If they are, I can read the form to figure out what they are; I won't have to learn some obscure concepts because the forms will reduce the knowledge to the simple "root concepts" that I alluded to in Discovering a Miracle .
Before I can explain the final form our forms will take, I need to make two observations. The first observation is that our forms should be descriptions of situations.
There are many many types of computer-compatible languages today. Some look like lists of commands the computer should do. Others are like questions. Still others are assertions. I have found that all of these things and more can be done with a form that allows descriptions of situations. How so? Suppose I have a description like "The birds are chirping" I can use that description to say something about the world by asserting it (duh.) But I can also use it to ask a question: "is it true that the birds are chirping?". In fact, I can use a description for many many things. Consider these:
- I can state beliefs: "I believe the birds are chirping"
- I can issue commands: "Make it so that the birds are chirping"
- I can express desires: "I wish the birds were chirping"
- I can quote: "Roger said that the birds are chirping"
- What about "I know that the birds are chirping"
Actually, there is a vastly more important reason to have a form for people. I have noticed that there are times in my life when I undergo an improvement that I didn't know was available. I mentioned the time (which took many years) I learned that authoritarianism was almost the opposite of love. The "Before learning" and "After learning" versions of myself are very different. How many more things are there for me to learn? I am sure that there are some people who have a good idea of what my next step in life may be. I have a vague idea. But if I could have a simulation or a chart that showed all the possibilities for what I could become, then I wouldn't have to wait until old age to be mister wisdom.
I want to go ahead and show the final form of forms but it will make more sense if I talk about one more thing. Namely, why identity ('='), plus ('+') and times ('*') are important. Don't worry, you won't have to learn about mock theta functions. Right now, though, it is 6:00 am, and even the birds aren't keeping me awake anymore, so it will have to wait until next time.