Goals
- Complete this IncompleteProof to the point where it is judged fit for defense by my thesis committee
- Defend this IncompleteProof to the satisfaction of my thesis committee
- Publish the first paper which references this work, collaborating with authors who participate in this forum
- Publish the first paper references this work, without resorting to two-way communication.
- Extend this technique to more general classes of problems or a more general audience
Priority will be given to achieving the first unproven goal.
TheNextSteps is a
HeuristicPriorityQueue for how to accomplish the goals.
needs
- I don't know what is already understood by likely readers, and what needs further explanation.
- Most of my evidence derives from observations of how my own mind works. From this, I infer:
- I need to observe myself applying proof-finding techniques in the course of striving to reach the goals of this work in order to understand it well enough to explain it.
- Assistance in locating the proper references to prior supporting work would be immensely useful.
The remainder of this page is an implementation of a HeuristicPriorityQueue in the context of achieving the goals of this project. Ideas for what might be done in the future can be put here, their merits discussed, and then this page can be used as a reference for choosing a task to execute.
Ideas worth pursuing next, in the opinion of the thesis committee:
Ideas (in no particular order):
- make a structured table of contents, to give an overview of the topics. See AllPages.
- add "Next" links to the bottom of every page, for those who are more comfortable with reading linearly. It may be best to do this algorithmically, along the lines of the GNU 'info' system, generating the links from the table of contents, to avoid what seems to be a lot of manual effort.
- KnowledgeTools? tools used for visualizing + understanding a search-in-progress, current and for GMT
Ideas for what might be necessary if the goals are to be achieved:
- find references to the scientific literature. The difficulty I have is that I've never read the references I see, and have no expertise in literature searches, and so finding the appropriate references is difficult for me.
- Invite interested parties outside mathematics to contribute for those areas where mathematicians lack expertise. One key would be finding people who would be intellectually interested:
- I'm thinking of inviting EricNivel? (with whom I'm collaborating on [HUMANOBS]) and KenShan? (a close friend who teaches computational linguistics).
- HelmutLeitner suggested inviting NikosSalingaros?.