Title: Cornerstones of undecidability
Subjects: Decidability (Mathematical logic), Unsolvability (Mathematical logic), Logic, symbolic and mathematical