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

What about PI? We can represent it in terms of "we know what we are talking about" and we can distinguish it from other numbers.



You can only have countable number of first or second order logic statements each defining a specific real number.




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

Search: