Sets, Logic, and Computation

  • John Stillwell
Part of the Undergraduate Texts in Mathematics book series (UTM)


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.


Turing Machine Computable Function Continuum Hypothesis Countable Union Peano Arithmetic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media New York 1989

Authors and Affiliations

  • John Stillwell
    • 1
  1. 1.Department of MathematicsMonash UniversityClaytonAustralia

Personalised recommendations