Qiaochu Yuan's excellent thread about real numbers and their purpose: