seeking collaborator for (hopefully) easy paper

[gusl]

The ideal candidate:

* mathematically sophisticated and knows more logic than me, in particular recursion theory (proof theory may be a plus)
* understands Kolmogorov Complexity; Chaitin's proofs
* interested in mathematical epistemology

e.g. someone like Jason Reed, Kenny Easwaran, Peter Gerdes, and maybe my housemate.

I have a nice paper idea, but since I'm not into logic anymore, I'd like to delegate it. The idea got me hooked, so I need to unhook myself.