Lecture 1
A grammar-based approach to multilingual mathematics
1 COMP 382: Reasoning about algorithms Unit 9: Undecidability [Slides adapted from Amos Israeli’s]
1 Introduction to Computability Theory Lecture13: Diagonalization Prof. Amos Israeli.
![1 COMP 382: Reasoning about algorithms Unit 9: Undecidability [Slides adapted from Amos Israeli’s]](https://static.fdocuments.in/doc/330x215/56649cbf5503460f9498558d/1-comp-382-reasoning-about-algorithms-unit-9-undecidability-slides-adapted.jpg)