Theory of Computation
Theory of Computation

Class 20: Proving Uncomputability

6 April 2023

Slides from class: class20.pdf

The learned video on computability from class is here.

If you want another presentation of the computability material in the textbook, try Dori-Mic and the Universal Machine!.

Problem Set 8 is due on Monday, 10 April. The latex template is https://www.overleaf.com/read/nhgcvwvnfvkh.

  • « Previous page: Class 19: Computability
  • Next page: Class 21: Reductions and Recognizability »

cs 3120: Theory of Computation
Spring 2023
University of Virginia
Subscribe to the  RSS feed.