Homework 7

[Proofs] are this crazy contact between an imaginary, nonphysical world and biologically evolved creatures. We did not evolve to do this.

– Simon DeDeo

The 1st portion of this assignment is on undecidability results. The 2nd portion of this assignment continues our work with measure functions, and proofs therein.