new paper?

[gusl]

Yesterday evening, I pumped out "An Information-Theoretic Upper Bound on the Length of the Shortest Proof", in which I cite mathemajician (Shane Legg). Surprisingly easy.

I think it's really just a 2-page paper. I should probably get an expert to look at it before submitting it somewhere.

Please ignore the fake header.