Hacker News new | past | comments | ask | show | jobs | submit login

This is correct: given a computation, you're allowed to execute it as far as you like. You're just not allowed to consider it "after executing infinitely many steps". So you're allowed to consider a real number expanded to n decimal places, for any n.

Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | Legal | Apply to YC | Contact