CSSE 474: Day 29
Topics
Rice's Theorem
Homework
Study Goedel's
Incompleteness Theorem
and submit a summary of his proof to the appropriate drop box in Angel. This homework is due at the beginning of class on Thursday (day 31).