At long last, we are finally ready to find concrete examples of problems that computers can't solve. Today's lecture explores one of these problems and why self-reference leads to foundational limits of computer programs.
Links
Unsolvable Problems, Part I
Wednesday November 17