Advertisement

Incompleteness Theorems and Recursion Theory

Part of the Universitext book series (UTX)

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media, LLC 2008

Personalised recommendations