Appendices
A
Undecidable Properties and Proofs
FLA 2026 Lecture Notes
Preface
1
An Introduction to Theoretical Computer Science
2
Data, Representations, and Problems
3
Turing Machines I
4
Turing Machines II
5
Undecidability by Diagonalisation
6
Undecidability by Reduction
Appendices
A
Undecidable Properties and Proofs
Appendices
A
Undecidable Properties and Proofs
Appendix A — Undecidable Properties and Proofs
6
Undecidability by Reduction