Computability & Complexity - Lecture 13

Today, the last lecture was concerned with the word problems for Thue systems and semigroups, diophantine sets, and Hilbert's 10th problem.

A new version of the manuscript including the index is available.