2018-12-11

I spent some time reading about the Kleene fixed point theorem and s-m-n theorem.

I tried proving the equivalent properties for recursively enumerable sets.

(This was day 1 of a caffeine reset, which made thinking difficult.)