Theorems in the foundations of mathematics Theorems in theory of computation Undecidable problems Rice's theorem