Of course, it is very simple to make an arbitrary map for my desired expressions into numerical strings, but how do I actually do something useful with the numerical strings? That is, what theorems could I derive from these numbers? Any examples would be appreciated.