I actually thought this up around sometime in Feb 2007; I had been reading Sipser’s Intro to Computer Science text, and hallucinated the following abstract while drifting off to sleep:
This paper presents an isomorphism between the set of problems in P and the Natural Numbers, and an isomorphism between the set of problem [...]
