Computer Science 15-190-mini, Spring 2010
Optional Homework 4
Due:  Never (optional)

This optional hw has no due date and will not affect your grade. But we'd be happy to grade what you do, and to provide whatever helpful feedback we can. And the assigned material is very worthwhile (or so I think!). I do hope some of you give it a go!

Read the Wikipedia pages on the various topics we covered (backtracking, countability, diagonalization, the Halting Problem, Rice's Theorem, Model Checking, etc, etc). Also, read about all the people we discussed (Cantor, Godel, Einstein, Turing, Church, Rice, Goldbach, Fermat, Wiles, Clarke, etc).

Carpe diem!