Sets, Logic, and Computation
In any survey of the history of mathematics it is hard to ignore the twentieth century. At the very least, we have to admit that our conception of classical mathematics is influenced by the mathematical ideas that are fashionable today. Indeed, it can be argued that most of classical mathematics becomes clearer when presented in modern terms, and that this is the best way to make it accessible to mathematicians who are not professional historians. As will be evident by now, this is the point of view I have adopted in this book.
KeywordsTuring Machine Computable Function Continuum Hypothesis Countable Union Peano Arithmetic
Unable to display preview. Download preview PDF.