Incompleteness Theorems and Recursion Theory
This chapter gives the most important landmarks of mathematical logic— the incompleteness theorems of Gödel.We still have to do some work, which we do in the first section. As a side output, in Section 3, we initiate the study of recursion theory.
Unable to display preview. Download preview PDF.