I would search for nice enumerations of graphs, hash functions, types and functions. I doubt I would make any progress in a month or perhaps ever. 1. Find a ni

I would search for nice enumerations of graphs, hash functions, types and functions. I doubt I would make any progress in a month or perhaps ever. 1. Find a nice numbering system for graphs. (Rooted trees already have a nice numbering system called Matula numbers. I rediscovered this independently but haven’t made any progress on graphs.) 2. I want to label every possible hash function with an integer. 3. I want to label every possible type(that can be expressed in a programming language) with an integer. 4. I want to label every possible function that can be expressed in a programming language with an integer. This might be somewhat related to #2 and #3. I don’t care about arbitrary mappings to integers. The mapping has to be “nice”, preserving some of the properties of the underlying system it is mapping. It needs to be one to one, and cover every possible element. I don’t know how to decribe it in general, but I get a good feeling when I see it. For example, I would be surprised if a nicer mapping between integers and trees than Matula numbers was found.