Lecture notes on minds and machines, completeness versus incompleteness, the continuum hypothesis, thinking machines, and views of consciousness.