Day 03 of reading GEB

Add excerpts on recursively enumerable sets and incompleteness
of formal systems.