This is a young subject which has developed over the last 30 years into an amalgam of fast-moving disciplines. These are linked by profound common concerns, around definability, decidability, effectiveness and computability, the nature of the continuum, and foundations.
Read more